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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
=== tests/cases/compiler/spreadsAndContextualTupleTypes.ts ===
declare function fx1<T extends [string, string, string, 'a' | 'b']>(x: T): T;
>fx1 : Symbol(fx1, Decl(spreadsAndContextualTupleTypes.ts, 0, 0))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 0, 21))
>x : Symbol(x, Decl(spreadsAndContextualTupleTypes.ts, 0, 68))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 0, 21))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 0, 21))
declare function fx2<T extends [...string[], 'a' | 'b']>(x: T): T;
>fx2 : Symbol(fx2, Decl(spreadsAndContextualTupleTypes.ts, 0, 77))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 1, 21))
>x : Symbol(x, Decl(spreadsAndContextualTupleTypes.ts, 1, 57))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 1, 21))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 1, 21))
const t3 = ['x', 'y', 'z'] as const;
>t3 : Symbol(t3, Decl(spreadsAndContextualTupleTypes.ts, 3, 5))
>const : Symbol(const)
fx1(['x', 'y', 'z', 'a']);
>fx1 : Symbol(fx1, Decl(spreadsAndContextualTupleTypes.ts, 0, 0))
fx1([...t3, 'a']);
>fx1 : Symbol(fx1, Decl(spreadsAndContextualTupleTypes.ts, 0, 0))
>t3 : Symbol(t3, Decl(spreadsAndContextualTupleTypes.ts, 3, 5))
fx2(['x', 'y', 'z', 'a']);
>fx2 : Symbol(fx2, Decl(spreadsAndContextualTupleTypes.ts, 0, 77))
fx2([...t3, 'a']);
>fx2 : Symbol(fx2, Decl(spreadsAndContextualTupleTypes.ts, 0, 77))
>t3 : Symbol(t3, Decl(spreadsAndContextualTupleTypes.ts, 3, 5))
const x1: [...string[], '!'] = ['!'];
>x1 : Symbol(x1, Decl(spreadsAndContextualTupleTypes.ts, 11, 5))
const x2: [...string[], '!'] = ['a', '!'];
>x2 : Symbol(x2, Decl(spreadsAndContextualTupleTypes.ts, 12, 5))
const x3: [...string[], '!'] = [...t3, '!'];
>x3 : Symbol(x3, Decl(spreadsAndContextualTupleTypes.ts, 13, 5))
>t3 : Symbol(t3, Decl(spreadsAndContextualTupleTypes.ts, 3, 5))
// Repro from #52684
const staticPath1Level = ["home"] as const;
>staticPath1Level : Symbol(staticPath1Level, Decl(spreadsAndContextualTupleTypes.ts, 17, 5))
>const : Symbol(const)
const staticPath2Level = ["home", "user"] as const;
>staticPath2Level : Symbol(staticPath2Level, Decl(spreadsAndContextualTupleTypes.ts, 18, 5))
>const : Symbol(const)
const staticPath3Level = ["home", "user", "downloads"] as const;
>staticPath3Level : Symbol(staticPath3Level, Decl(spreadsAndContextualTupleTypes.ts, 19, 5))
>const : Symbol(const)
const randomID = 'id' as string;
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
declare function foo<const T>(path: T): T;
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 23, 21))
>path : Symbol(path, Decl(spreadsAndContextualTupleTypes.ts, 23, 30))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 23, 21))
>T : Symbol(T, Decl(spreadsAndContextualTupleTypes.ts, 23, 21))
const a1 = foo([...staticPath1Level, randomID, 'doc.pdf']);
>a1 : Symbol(a1, Decl(spreadsAndContextualTupleTypes.ts, 25, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath1Level : Symbol(staticPath1Level, Decl(spreadsAndContextualTupleTypes.ts, 17, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const a2 = foo([...staticPath2Level, randomID, 'doc.pdf']);
>a2 : Symbol(a2, Decl(spreadsAndContextualTupleTypes.ts, 26, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath2Level : Symbol(staticPath2Level, Decl(spreadsAndContextualTupleTypes.ts, 18, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const a3 = foo([...staticPath3Level, randomID, 'doc.pdf']);
>a3 : Symbol(a3, Decl(spreadsAndContextualTupleTypes.ts, 27, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath3Level : Symbol(staticPath3Level, Decl(spreadsAndContextualTupleTypes.ts, 19, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const b1 = foo([...staticPath1Level, randomID, 'folder', 'doc.pdf']);
>b1 : Symbol(b1, Decl(spreadsAndContextualTupleTypes.ts, 29, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath1Level : Symbol(staticPath1Level, Decl(spreadsAndContextualTupleTypes.ts, 17, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const b2 = foo([...staticPath2Level, randomID, 'folder', 'doc.pdf']);
>b2 : Symbol(b2, Decl(spreadsAndContextualTupleTypes.ts, 30, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath2Level : Symbol(staticPath2Level, Decl(spreadsAndContextualTupleTypes.ts, 18, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const b3 = foo([...staticPath3Level, randomID, 'folder', 'doc.pdf']);
>b3 : Symbol(b3, Decl(spreadsAndContextualTupleTypes.ts, 31, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath3Level : Symbol(staticPath3Level, Decl(spreadsAndContextualTupleTypes.ts, 19, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const c1 = foo([...staticPath1Level, randomID, 'folder', 'subfolder', 'doc.pdf']);
>c1 : Symbol(c1, Decl(spreadsAndContextualTupleTypes.ts, 33, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath1Level : Symbol(staticPath1Level, Decl(spreadsAndContextualTupleTypes.ts, 17, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const c2 = foo([...staticPath2Level, randomID, 'folder', 'subfolder', 'doc.pdf']);
>c2 : Symbol(c2, Decl(spreadsAndContextualTupleTypes.ts, 34, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath2Level : Symbol(staticPath2Level, Decl(spreadsAndContextualTupleTypes.ts, 18, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const c3 = foo([...staticPath3Level, randomID, 'folder', 'subfolder', 'doc.pdf']);
>c3 : Symbol(c3, Decl(spreadsAndContextualTupleTypes.ts, 35, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath3Level : Symbol(staticPath3Level, Decl(spreadsAndContextualTupleTypes.ts, 19, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const d1 = foo([...staticPath1Level, randomID, 'folder', 'subfolder', 'another-subfolder', 'doc.pdf']);
>d1 : Symbol(d1, Decl(spreadsAndContextualTupleTypes.ts, 37, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath1Level : Symbol(staticPath1Level, Decl(spreadsAndContextualTupleTypes.ts, 17, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const d2 = foo([...staticPath2Level, randomID, 'folder', 'subfolder', 'another-subfolder', 'doc.pdf']);
>d2 : Symbol(d2, Decl(spreadsAndContextualTupleTypes.ts, 38, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath2Level : Symbol(staticPath2Level, Decl(spreadsAndContextualTupleTypes.ts, 18, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
const d3 = foo([...staticPath3Level, randomID, 'folder', 'subfolder', 'another-subfolder', 'doc.pdf']);
>d3 : Symbol(d3, Decl(spreadsAndContextualTupleTypes.ts, 39, 5))
>foo : Symbol(foo, Decl(spreadsAndContextualTupleTypes.ts, 21, 32))
>staticPath3Level : Symbol(staticPath3Level, Decl(spreadsAndContextualTupleTypes.ts, 19, 5))
>randomID : Symbol(randomID, Decl(spreadsAndContextualTupleTypes.ts, 21, 5))
|
