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
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
|
=== tests/cases/compiler/intersectionTypeNormalization.ts ===
interface A { a: string }
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>a : Symbol(A.a, Decl(intersectionTypeNormalization.ts, 0, 13))
interface B { b: string }
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 0, 25))
>b : Symbol(B.b, Decl(intersectionTypeNormalization.ts, 1, 13))
interface C { c: string }
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>c : Symbol(C.c, Decl(intersectionTypeNormalization.ts, 2, 13))
interface D { d: string }
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>d : Symbol(D.d, Decl(intersectionTypeNormalization.ts, 3, 13))
// Identical ways of writing the same type
type X1 = (A | B) & (C | D);
>X1 : Symbol(X1, Decl(intersectionTypeNormalization.ts, 3, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 0, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type X2 = A & (C | D) | B & (C | D)
>X2 : Symbol(X2, Decl(intersectionTypeNormalization.ts, 6, 28))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 0, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type X3 = A & C | A & D | B & C | B & D;
>X3 : Symbol(X3, Decl(intersectionTypeNormalization.ts, 7, 35))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 0, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 0, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
var x: X1;
>x : Symbol(x, Decl(intersectionTypeNormalization.ts, 10, 3), Decl(intersectionTypeNormalization.ts, 11, 3), Decl(intersectionTypeNormalization.ts, 12, 3))
>X1 : Symbol(X1, Decl(intersectionTypeNormalization.ts, 3, 25))
var x: X2;
>x : Symbol(x, Decl(intersectionTypeNormalization.ts, 10, 3), Decl(intersectionTypeNormalization.ts, 11, 3), Decl(intersectionTypeNormalization.ts, 12, 3))
>X2 : Symbol(X2, Decl(intersectionTypeNormalization.ts, 6, 28))
var x: X3;
>x : Symbol(x, Decl(intersectionTypeNormalization.ts, 10, 3), Decl(intersectionTypeNormalization.ts, 11, 3), Decl(intersectionTypeNormalization.ts, 12, 3))
>X3 : Symbol(X3, Decl(intersectionTypeNormalization.ts, 7, 35))
interface X { x: string }
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>x : Symbol(X.x, Decl(intersectionTypeNormalization.ts, 14, 13))
interface Y { y: string }
>Y : Symbol(Y, Decl(intersectionTypeNormalization.ts, 14, 25))
>y : Symbol(Y.y, Decl(intersectionTypeNormalization.ts, 15, 13))
// Identical ways of writing the same type
type Y1 = (A | X & Y) & (C | D);
>Y1 : Symbol(Y1, Decl(intersectionTypeNormalization.ts, 15, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>Y : Symbol(Y, Decl(intersectionTypeNormalization.ts, 14, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type Y2 = A & (C | D) | X & Y & (C | D)
>Y2 : Symbol(Y2, Decl(intersectionTypeNormalization.ts, 18, 32))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>Y : Symbol(Y, Decl(intersectionTypeNormalization.ts, 14, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type Y3 = A & C | A & D | X & Y & C | X & Y & D;
>Y3 : Symbol(Y3, Decl(intersectionTypeNormalization.ts, 19, 39))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>Y : Symbol(Y, Decl(intersectionTypeNormalization.ts, 14, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>Y : Symbol(Y, Decl(intersectionTypeNormalization.ts, 14, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
var y: Y1;
>y : Symbol(y, Decl(intersectionTypeNormalization.ts, 22, 3), Decl(intersectionTypeNormalization.ts, 23, 3), Decl(intersectionTypeNormalization.ts, 24, 3))
>Y1 : Symbol(Y1, Decl(intersectionTypeNormalization.ts, 15, 25))
var y: Y2;
>y : Symbol(y, Decl(intersectionTypeNormalization.ts, 22, 3), Decl(intersectionTypeNormalization.ts, 23, 3), Decl(intersectionTypeNormalization.ts, 24, 3))
>Y2 : Symbol(Y2, Decl(intersectionTypeNormalization.ts, 18, 32))
var y: Y3;
>y : Symbol(y, Decl(intersectionTypeNormalization.ts, 22, 3), Decl(intersectionTypeNormalization.ts, 23, 3), Decl(intersectionTypeNormalization.ts, 24, 3))
>Y3 : Symbol(Y3, Decl(intersectionTypeNormalization.ts, 19, 39))
interface M { m: string }
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>m : Symbol(M.m, Decl(intersectionTypeNormalization.ts, 26, 13))
interface N { n: string }
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>n : Symbol(N.n, Decl(intersectionTypeNormalization.ts, 27, 13))
// Identical ways of writing the same type
type Z1 = (A | X & (M | N)) & (C | D);
>Z1 : Symbol(Z1, Decl(intersectionTypeNormalization.ts, 27, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type Z2 = A & (C | D) | X & (M | N) & (C | D)
>Z2 : Symbol(Z2, Decl(intersectionTypeNormalization.ts, 30, 38))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type Z3 = A & C | A & D | X & (M | N) & C | X & (M | N) & D;
>Z3 : Symbol(Z3, Decl(intersectionTypeNormalization.ts, 31, 45))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
type Z4 = A & C | A & D | X & M & C | X & N & C | X & M & D | X & N & D;
>Z4 : Symbol(Z4, Decl(intersectionTypeNormalization.ts, 32, 60))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 0, 0))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 1, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>M : Symbol(M, Decl(intersectionTypeNormalization.ts, 24, 10))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
>X : Symbol(X, Decl(intersectionTypeNormalization.ts, 12, 10))
>N : Symbol(N, Decl(intersectionTypeNormalization.ts, 26, 25))
>D : Symbol(D, Decl(intersectionTypeNormalization.ts, 2, 25))
var z: Z1;
>z : Symbol(z, Decl(intersectionTypeNormalization.ts, 35, 3), Decl(intersectionTypeNormalization.ts, 36, 3), Decl(intersectionTypeNormalization.ts, 37, 3), Decl(intersectionTypeNormalization.ts, 38, 3))
>Z1 : Symbol(Z1, Decl(intersectionTypeNormalization.ts, 27, 25))
var z: Z2;
>z : Symbol(z, Decl(intersectionTypeNormalization.ts, 35, 3), Decl(intersectionTypeNormalization.ts, 36, 3), Decl(intersectionTypeNormalization.ts, 37, 3), Decl(intersectionTypeNormalization.ts, 38, 3))
>Z2 : Symbol(Z2, Decl(intersectionTypeNormalization.ts, 30, 38))
var z: Z3;
>z : Symbol(z, Decl(intersectionTypeNormalization.ts, 35, 3), Decl(intersectionTypeNormalization.ts, 36, 3), Decl(intersectionTypeNormalization.ts, 37, 3), Decl(intersectionTypeNormalization.ts, 38, 3))
>Z3 : Symbol(Z3, Decl(intersectionTypeNormalization.ts, 31, 45))
var z: Z4;
>z : Symbol(z, Decl(intersectionTypeNormalization.ts, 35, 3), Decl(intersectionTypeNormalization.ts, 36, 3), Decl(intersectionTypeNormalization.ts, 37, 3), Decl(intersectionTypeNormalization.ts, 38, 3))
>Z4 : Symbol(Z4, Decl(intersectionTypeNormalization.ts, 32, 60))
// Repro from #9919
type ToString = {
>ToString : Symbol(ToString, Decl(intersectionTypeNormalization.ts, 38, 10))
toString(): string;
>toString : Symbol(toString, Decl(intersectionTypeNormalization.ts, 42, 17))
}
type BoxedValue = { kind: 'int', num: number }
>BoxedValue : Symbol(BoxedValue, Decl(intersectionTypeNormalization.ts, 44, 1))
>kind : Symbol(kind, Decl(intersectionTypeNormalization.ts, 46, 19))
>num : Symbol(num, Decl(intersectionTypeNormalization.ts, 46, 32))
| { kind: 'string', str: string }
>kind : Symbol(kind, Decl(intersectionTypeNormalization.ts, 47, 19))
>str : Symbol(str, Decl(intersectionTypeNormalization.ts, 47, 35))
type IntersectionFail = BoxedValue & ToString
>IntersectionFail : Symbol(IntersectionFail, Decl(intersectionTypeNormalization.ts, 47, 49))
>BoxedValue : Symbol(BoxedValue, Decl(intersectionTypeNormalization.ts, 44, 1))
>ToString : Symbol(ToString, Decl(intersectionTypeNormalization.ts, 38, 10))
type IntersectionInline = { kind: 'int', num: number } & ToString
>IntersectionInline : Symbol(IntersectionInline, Decl(intersectionTypeNormalization.ts, 49, 45))
>kind : Symbol(kind, Decl(intersectionTypeNormalization.ts, 51, 27))
>num : Symbol(num, Decl(intersectionTypeNormalization.ts, 51, 40))
>ToString : Symbol(ToString, Decl(intersectionTypeNormalization.ts, 38, 10))
| { kind: 'string', str: string } & ToString
>kind : Symbol(kind, Decl(intersectionTypeNormalization.ts, 52, 27))
>str : Symbol(str, Decl(intersectionTypeNormalization.ts, 52, 43))
>ToString : Symbol(ToString, Decl(intersectionTypeNormalization.ts, 38, 10))
function getValueAsString(value: IntersectionFail): string {
>getValueAsString : Symbol(getValueAsString, Decl(intersectionTypeNormalization.ts, 52, 68))
>value : Symbol(value, Decl(intersectionTypeNormalization.ts, 54, 26))
>IntersectionFail : Symbol(IntersectionFail, Decl(intersectionTypeNormalization.ts, 47, 49))
if (value.kind === 'int') {
>value.kind : Symbol(kind, Decl(intersectionTypeNormalization.ts, 46, 19), Decl(intersectionTypeNormalization.ts, 47, 19))
>value : Symbol(value, Decl(intersectionTypeNormalization.ts, 54, 26))
>kind : Symbol(kind, Decl(intersectionTypeNormalization.ts, 46, 19), Decl(intersectionTypeNormalization.ts, 47, 19))
return '' + value.num;
>value.num : Symbol(num, Decl(intersectionTypeNormalization.ts, 46, 32))
>value : Symbol(value, Decl(intersectionTypeNormalization.ts, 54, 26))
>num : Symbol(num, Decl(intersectionTypeNormalization.ts, 46, 32))
}
return value.str;
>value.str : Symbol(str, Decl(intersectionTypeNormalization.ts, 47, 35))
>value : Symbol(value, Decl(intersectionTypeNormalization.ts, 54, 26))
>str : Symbol(str, Decl(intersectionTypeNormalization.ts, 47, 35))
}
// Repro from #12535
namespace enums {
>enums : Symbol(enums, Decl(intersectionTypeNormalization.ts, 59, 1))
export const enum A {
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 63, 17))
a1,
>a1 : Symbol(A.a1, Decl(intersectionTypeNormalization.ts, 64, 25))
a2,
>a2 : Symbol(A.a2, Decl(intersectionTypeNormalization.ts, 65, 11))
a3,
>a3 : Symbol(A.a3, Decl(intersectionTypeNormalization.ts, 66, 11))
// ... elements omitted for the sake of clarity
a75,
>a75 : Symbol(A.a75, Decl(intersectionTypeNormalization.ts, 67, 11))
a76,
>a76 : Symbol(A.a76, Decl(intersectionTypeNormalization.ts, 69, 12))
a77,
>a77 : Symbol(A.a77, Decl(intersectionTypeNormalization.ts, 70, 12))
}
export const enum B {
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 72, 5))
b1,
>b1 : Symbol(B.b1, Decl(intersectionTypeNormalization.ts, 73, 25))
b2,
>b2 : Symbol(B.b2, Decl(intersectionTypeNormalization.ts, 74, 11))
// ... elements omitted for the sake of clarity
b86,
>b86 : Symbol(B.b86, Decl(intersectionTypeNormalization.ts, 75, 11))
b87,
>b87 : Symbol(B.b87, Decl(intersectionTypeNormalization.ts, 77, 12))
}
export const enum C {
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 79, 5))
c1,
>c1 : Symbol(C.c1, Decl(intersectionTypeNormalization.ts, 80, 25))
c2,
>c2 : Symbol(C.c2, Decl(intersectionTypeNormalization.ts, 81, 11))
// ... elements omitted for the sake of clarity
c210,
>c210 : Symbol(C.c210, Decl(intersectionTypeNormalization.ts, 82, 11))
c211,
>c211 : Symbol(C.c211, Decl(intersectionTypeNormalization.ts, 84, 13))
}
export type Genre = A | B | C;
>Genre : Symbol(Genre, Decl(intersectionTypeNormalization.ts, 86, 5))
>A : Symbol(A, Decl(intersectionTypeNormalization.ts, 63, 17))
>B : Symbol(B, Decl(intersectionTypeNormalization.ts, 72, 5))
>C : Symbol(C, Decl(intersectionTypeNormalization.ts, 79, 5))
}
type Foo = {
>Foo : Symbol(Foo, Decl(intersectionTypeNormalization.ts, 88, 1))
genreId: enums.Genre;
>genreId : Symbol(genreId, Decl(intersectionTypeNormalization.ts, 90, 12))
>enums : Symbol(enums, Decl(intersectionTypeNormalization.ts, 59, 1))
>Genre : Symbol(enums.Genre, Decl(intersectionTypeNormalization.ts, 86, 5))
};
type Bar = {
>Bar : Symbol(Bar, Decl(intersectionTypeNormalization.ts, 92, 2))
genreId: enums.Genre;
>genreId : Symbol(genreId, Decl(intersectionTypeNormalization.ts, 94, 12))
>enums : Symbol(enums, Decl(intersectionTypeNormalization.ts, 59, 1))
>Genre : Symbol(enums.Genre, Decl(intersectionTypeNormalization.ts, 86, 5))
};
type FooBar = Foo & Bar;
>FooBar : Symbol(FooBar, Decl(intersectionTypeNormalization.ts, 96, 2))
>Foo : Symbol(Foo, Decl(intersectionTypeNormalization.ts, 88, 1))
>Bar : Symbol(Bar, Decl(intersectionTypeNormalization.ts, 92, 2))
function foo(so: any) {
>foo : Symbol(foo, Decl(intersectionTypeNormalization.ts, 98, 24))
>so : Symbol(so, Decl(intersectionTypeNormalization.ts, 100, 13))
const val = so as FooBar;
>val : Symbol(val, Decl(intersectionTypeNormalization.ts, 101, 9))
>so : Symbol(so, Decl(intersectionTypeNormalization.ts, 100, 13))
>FooBar : Symbol(FooBar, Decl(intersectionTypeNormalization.ts, 96, 2))
const isGenre = val.genreId;
>isGenre : Symbol(isGenre, Decl(intersectionTypeNormalization.ts, 102, 9))
>val.genreId : Symbol(genreId, Decl(intersectionTypeNormalization.ts, 90, 12), Decl(intersectionTypeNormalization.ts, 94, 12))
>val : Symbol(val, Decl(intersectionTypeNormalization.ts, 101, 9))
>genreId : Symbol(genreId, Decl(intersectionTypeNormalization.ts, 90, 12), Decl(intersectionTypeNormalization.ts, 94, 12))
return isGenre;
>isGenre : Symbol(isGenre, Decl(intersectionTypeNormalization.ts, 102, 9))
}
|
