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
|
=== tests/cases/conformance/controlFlow/controlFlowBindingPatternOrder.ts ===
// https://github.com/microsoft/TypeScript/pull/41094#issuecomment-716044363
{
let a: 0 | 1 = 0;
>a : 0 | 1
>0 : 0
const [{ [(a = 1)]: b } = [9, a] as const] = [];
>(a = 1) : 1
>a = 1 : 1
>a : 0 | 1
>1 : 1
>b : 0
>[9, a] as const : readonly [9, 0]
>[9, a] : readonly [9, 0]
>9 : 9
>a : 0
>[] : []
const bb: 0 = b;
>bb : 0
>b : 0
}
{
let a: 0 | 1 = 1;
>a : 0 | 1
>1 : 1
const [{ [a]: b } = [9, a = 0] as const] = [];
>a : 0
>b : 9
>[9, a = 0] as const : readonly [9, 0]
>[9, a = 0] : readonly [9, 0]
>9 : 9
>a = 0 : 0
>a : 0 | 1
>0 : 0
>[] : []
const bb: 9 = b;
>bb : 9
>b : 9
}
{
let a: 0 | 1 = 0;
>a : 0 | 1
>0 : 0
const [{ [(a = 1)]: b } = [9, a] as const] = [[9, 8] as const];
>(a = 1) : 1
>a = 1 : 1
>a : 0 | 1
>1 : 1
>b : 0 | 8
>[9, a] as const : readonly [9, 0]
>[9, a] : readonly [9, 0]
>9 : 9
>a : 0
>[[9, 8] as const] : [readonly [9, 8]]
>[9, 8] as const : readonly [9, 8]
>[9, 8] : readonly [9, 8]
>9 : 9
>8 : 8
const bb: 0 | 8 = b;
>bb : 0 | 8
>b : 0 | 8
}
{
let a: 0 | 1 = 1;
>a : 0 | 1
>1 : 1
const [{ [a]: b } = [a = 0, 9] as const] = [[8, 9] as const];
>a : 0
>b : 0 | 8
>[a = 0, 9] as const : readonly [0, 9]
>[a = 0, 9] : readonly [0, 9]
>a = 0 : 0
>a : 0 | 1
>0 : 0
>9 : 9
>[[8, 9] as const] : [readonly [8, 9]]
>[8, 9] as const : readonly [8, 9]
>[8, 9] : readonly [8, 9]
>8 : 8
>9 : 9
const bb: 0 | 8 = b;
>bb : 0 | 8
>b : 0 | 8
}
|
