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
|
// @strict: true
// @declaration: true
declare function computed(x: number): number;
enum E {
A = computed(0),
B = computed(1),
C = computed(2),
D = computed(3),
}
function f1() {
const c1 = E.B; // Fresh E.B
let v1 = c1; // E
const c2 = c1; // Fresh E.B
let v2 = c2; // E
const c3: E.B = E.B; // E.B
let v3 = c3; // E.B
const c4: E.B = c1; // E.B
let v4 = c4; // E.B
}
function f2(cond: boolean) {
const c1 = cond ? E.A : E.B; // Fresh E.A | fresh E.B
const c2: E.A | E.B = c1; // E.A | E.B
const c3 = cond ? c1 : c2; // E.A | E.B
const c4 = cond ? c3 : E.C; // E.A | E.B | fresh E.C
const c5: E.A | E.B | E.C = c4; // E.A | E.B | E.C
let v1 = c1; // E
let v2 = c2; // E.A | E.B
let v3 = c3; // E.A | E.B
let v4 = c4; // E
let v5 = c5; // E.A | E.B | E.C
}
function f3() {
const c1 = E.B;
let v1 = c1; // E
const c2: E.B = E.B;
let v2 = c2; // E.B
const c3 = E.B as E.B;
let v3 = c3; // E.B
const c4 = <E.B>E.B;
let v4 = c4; // E.B
const c5 = E.B as const;
let v5 = c5; // E.B
}
declare enum E2 { A, B, C, D }
function f4() {
const c1 = E2.B; // Fresh E2.B
let v1 = E.B; // E2
}
const c1 = E.B;
const c2 = E.B as const;
let v1 = E.B;
let v2 = E.B as const;
class C {
p1 = E.B;
p2 = E.B as const;
readonly p3 = E.B;
readonly p4 = E.B as const;
}
// Repro from #52531
enum MyEnum { A, B, C }
let val1 = MyEnum.A;
val1 = MyEnum.B;
declare enum MyDeclaredEnum { A, B, C }
let val2 = MyDeclaredEnum.A;
val2 = MyDeclaredEnum.B;
|
