1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
=== tests/cases/conformance/controlFlow/controlFlowForStatement.ts ===
let cond: boolean;
>cond : Symbol(cond, Decl(controlFlowForStatement.ts, 0, 3))
function a() {
>a : Symbol(a, Decl(controlFlowForStatement.ts, 0, 18))
let x: string | number | boolean;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 2, 7))
for (x = ""; cond; x = 5) {
>x : Symbol(x, Decl(controlFlowForStatement.ts, 2, 7))
>cond : Symbol(cond, Decl(controlFlowForStatement.ts, 0, 3))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 2, 7))
x; // string | number
>x : Symbol(x, Decl(controlFlowForStatement.ts, 2, 7))
}
}
function b() {
>b : Symbol(b, Decl(controlFlowForStatement.ts, 6, 1))
let x: string | number | boolean;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 8, 7))
for (x = 5; cond; x = x.length) {
>x : Symbol(x, Decl(controlFlowForStatement.ts, 8, 7))
>cond : Symbol(cond, Decl(controlFlowForStatement.ts, 0, 3))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 8, 7))
>x.length : Symbol(String.length, Decl(lib.d.ts, --, --))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 8, 7))
>length : Symbol(String.length, Decl(lib.d.ts, --, --))
x; // number
>x : Symbol(x, Decl(controlFlowForStatement.ts, 8, 7))
x = "";
>x : Symbol(x, Decl(controlFlowForStatement.ts, 8, 7))
}
}
function c() {
>c : Symbol(c, Decl(controlFlowForStatement.ts, 13, 1))
let x: string | number | boolean;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 15, 7))
for (x = 5; x = x.toExponential(); x = 5) {
>x : Symbol(x, Decl(controlFlowForStatement.ts, 15, 7))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 15, 7))
>x.toExponential : Symbol(Number.toExponential, Decl(lib.d.ts, --, --))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 15, 7))
>toExponential : Symbol(Number.toExponential, Decl(lib.d.ts, --, --))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 15, 7))
x; // string
>x : Symbol(x, Decl(controlFlowForStatement.ts, 15, 7))
}
}
function d() {
>d : Symbol(d, Decl(controlFlowForStatement.ts, 19, 1))
let x: string | number | boolean;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 21, 7))
for (x = ""; typeof x === "string"; x = 5) {
>x : Symbol(x, Decl(controlFlowForStatement.ts, 21, 7))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 21, 7))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 21, 7))
x; // string
>x : Symbol(x, Decl(controlFlowForStatement.ts, 21, 7))
}
}
function e() {
>e : Symbol(e, Decl(controlFlowForStatement.ts, 25, 1))
let x: string | number | boolean | RegExp;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 27, 7))
>RegExp : Symbol(RegExp, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
for (x = "" || 0; typeof x !== "string"; x = "" || true) {
>x : Symbol(x, Decl(controlFlowForStatement.ts, 27, 7))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 27, 7))
>x : Symbol(x, Decl(controlFlowForStatement.ts, 27, 7))
x; // number | boolean
>x : Symbol(x, Decl(controlFlowForStatement.ts, 27, 7))
}
}
function f() {
>f : Symbol(f, Decl(controlFlowForStatement.ts, 31, 1))
let x: string | number | boolean;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 33, 7))
for (; typeof x !== "string";) {
>x : Symbol(x, Decl(controlFlowForStatement.ts, 33, 7))
x; // number | boolean
>x : Symbol(x, Decl(controlFlowForStatement.ts, 33, 7))
if (typeof x === "number") break;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 33, 7))
x = undefined;
>x : Symbol(x, Decl(controlFlowForStatement.ts, 33, 7))
>undefined : Symbol(undefined)
}
x; // string | number
>x : Symbol(x, Decl(controlFlowForStatement.ts, 33, 7))
}
|
