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
|
//// [controlFlowForStatement.ts]
let cond: boolean;
function a() {
let x: string | number | boolean;
for (x = ""; cond; x = 5) {
x; // string | number
}
}
function b() {
let x: string | number | boolean;
for (x = 5; cond; x = x.length) {
x; // number
x = "";
}
}
function c() {
let x: string | number | boolean;
for (x = 5; x = x.toExponential(); x = 5) {
x; // string
}
}
function d() {
let x: string | number | boolean;
for (x = ""; typeof x === "string"; x = 5) {
x; // string
}
}
function e() {
let x: string | number | boolean | RegExp;
for (x = "" || 0; typeof x !== "string"; x = "" || true) {
x; // number | boolean
}
}
function f() {
let x: string | number | boolean;
for (; typeof x !== "string";) {
x; // number | boolean
if (typeof x === "number") break;
x = undefined;
}
x; // string | number
}
//// [controlFlowForStatement.js]
var cond;
function a() {
var x;
for (x = ""; cond; x = 5) {
x; // string | number
}
}
function b() {
var x;
for (x = 5; cond; x = x.length) {
x; // number
x = "";
}
}
function c() {
var x;
for (x = 5; x = x.toExponential(); x = 5) {
x; // string
}
}
function d() {
var x;
for (x = ""; typeof x === "string"; x = 5) {
x; // string
}
}
function e() {
var x;
for (x = "" || 0; typeof x !== "string"; x = "" || true) {
x; // number | boolean
}
}
function f() {
var x;
for (; typeof x !== "string";) {
x; // number | boolean
if (typeof x === "number")
break;
x = undefined;
}
x; // string | number
}
|
