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
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
|
=== tests/cases/conformance/types/typeRelationships/bestCommonType/heterogeneousArrayLiterals.ts ===
// type of an array is the best common type of its elements (plus its contextual type if it exists)
var a = [1, '']; // {}[]
>a : Symbol(a, Decl(heterogeneousArrayLiterals.ts, 2, 3))
var b = [1, null]; // number[]
>b : Symbol(b, Decl(heterogeneousArrayLiterals.ts, 3, 3))
var c = [1, '', null]; // {}[]
>c : Symbol(c, Decl(heterogeneousArrayLiterals.ts, 4, 3))
var d = [{}, 1]; // {}[]
>d : Symbol(d, Decl(heterogeneousArrayLiterals.ts, 5, 3))
var e = [{}, Object]; // {}[]
>e : Symbol(e, Decl(heterogeneousArrayLiterals.ts, 6, 3))
>Object : Symbol(Object, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
var f = [[], [1]]; // number[][]
>f : Symbol(f, Decl(heterogeneousArrayLiterals.ts, 8, 3))
var g = [[1], ['']]; // {}[]
>g : Symbol(g, Decl(heterogeneousArrayLiterals.ts, 9, 3))
var h = [{ foo: 1, bar: '' }, { foo: 2 }]; // {foo: number}[]
>h : Symbol(h, Decl(heterogeneousArrayLiterals.ts, 11, 3))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 11, 10))
>bar : Symbol(bar, Decl(heterogeneousArrayLiterals.ts, 11, 18))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 11, 31))
var i = [{ foo: 1, bar: '' }, { foo: '' }]; // {}[]
>i : Symbol(i, Decl(heterogeneousArrayLiterals.ts, 12, 3))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 12, 10))
>bar : Symbol(bar, Decl(heterogeneousArrayLiterals.ts, 12, 18))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 12, 31))
var j = [() => 1, () => '']; // {}[]
>j : Symbol(j, Decl(heterogeneousArrayLiterals.ts, 14, 3))
var k = [() => 1, () => 1]; // { (): number }[]
>k : Symbol(k, Decl(heterogeneousArrayLiterals.ts, 15, 3))
var l = [() => 1, () => null]; // { (): any }[]
>l : Symbol(l, Decl(heterogeneousArrayLiterals.ts, 16, 3))
var m = [() => 1, () => '', () => null]; // { (): any }[]
>m : Symbol(m, Decl(heterogeneousArrayLiterals.ts, 17, 3))
var n = [[() => 1], [() => '']]; // {}[]
>n : Symbol(n, Decl(heterogeneousArrayLiterals.ts, 18, 3))
class Base { foo: string; }
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>foo : Symbol(Base.foo, Decl(heterogeneousArrayLiterals.ts, 20, 12))
class Derived extends Base { bar: string; }
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>bar : Symbol(Derived.bar, Decl(heterogeneousArrayLiterals.ts, 21, 28))
class Derived2 extends Base { baz: string; }
>Derived2 : Symbol(Derived2, Decl(heterogeneousArrayLiterals.ts, 21, 43))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>baz : Symbol(Derived2.baz, Decl(heterogeneousArrayLiterals.ts, 22, 29))
var base: Base;
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
var derived: Derived;
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
var derived2: Derived2;
>derived2 : Symbol(derived2, Decl(heterogeneousArrayLiterals.ts, 25, 3))
>Derived2 : Symbol(Derived2, Decl(heterogeneousArrayLiterals.ts, 21, 43))
module Derived {
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
var h = [{ foo: base, basear: derived }, { foo: base }]; // {foo: Base}[]
>h : Symbol(h, Decl(heterogeneousArrayLiterals.ts, 28, 7))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 28, 14))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
>basear : Symbol(basear, Decl(heterogeneousArrayLiterals.ts, 28, 25))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 28, 46))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var i = [{ foo: base, basear: derived }, { foo: derived }]; // {foo: Derived}[]
>i : Symbol(i, Decl(heterogeneousArrayLiterals.ts, 29, 7))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 29, 14))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
>basear : Symbol(basear, Decl(heterogeneousArrayLiterals.ts, 29, 25))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 29, 46))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var j = [() => base, () => derived]; // { {}: Base }
>j : Symbol(j, Decl(heterogeneousArrayLiterals.ts, 31, 7))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var k = [() => base, () => 1]; // {}[]~
>k : Symbol(k, Decl(heterogeneousArrayLiterals.ts, 32, 7))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var l = [() => base, () => null]; // { (): any }[]
>l : Symbol(l, Decl(heterogeneousArrayLiterals.ts, 33, 7))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var m = [() => base, () => derived, () => null]; // { (): any }[]
>m : Symbol(m, Decl(heterogeneousArrayLiterals.ts, 34, 7))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var n = [[() => base], [() => derived]]; // { (): Base }[]
>n : Symbol(n, Decl(heterogeneousArrayLiterals.ts, 35, 7))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var o = [derived, derived2]; // {}[]
>o : Symbol(o, Decl(heterogeneousArrayLiterals.ts, 36, 7))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>derived2 : Symbol(derived2, Decl(heterogeneousArrayLiterals.ts, 25, 3))
var p = [derived, derived2, base]; // Base[]
>p : Symbol(p, Decl(heterogeneousArrayLiterals.ts, 37, 7))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>derived2 : Symbol(derived2, Decl(heterogeneousArrayLiterals.ts, 25, 3))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var q = [[() => derived2], [() => derived]]; // {}[]
>q : Symbol(q, Decl(heterogeneousArrayLiterals.ts, 38, 7))
>derived2 : Symbol(derived2, Decl(heterogeneousArrayLiterals.ts, 25, 3))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
}
module WithContextualType {
>WithContextualType : Symbol(WithContextualType, Decl(heterogeneousArrayLiterals.ts, 39, 1))
// no errors
var a: Base[] = [derived, derived2];
>a : Symbol(a, Decl(heterogeneousArrayLiterals.ts, 43, 7))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>derived2 : Symbol(derived2, Decl(heterogeneousArrayLiterals.ts, 25, 3))
var b: Derived[] = [null];
>b : Symbol(b, Decl(heterogeneousArrayLiterals.ts, 44, 7))
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
var c: Derived[] = [];
>c : Symbol(c, Decl(heterogeneousArrayLiterals.ts, 45, 7))
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
var d: { (): Base }[] = [() => derived, () => derived2];
>d : Symbol(d, Decl(heterogeneousArrayLiterals.ts, 46, 7))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
>derived2 : Symbol(derived2, Decl(heterogeneousArrayLiterals.ts, 25, 3))
}
function foo<T, U>(t: T, u: U) {
>foo : Symbol(foo, Decl(heterogeneousArrayLiterals.ts, 47, 1))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 49, 13))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 49, 15))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 49, 13))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 49, 24))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 49, 15))
var a = [t, t]; // T[]
>a : Symbol(a, Decl(heterogeneousArrayLiterals.ts, 50, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
var b = [t, null]; // T[]
>b : Symbol(b, Decl(heterogeneousArrayLiterals.ts, 51, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
var c = [t, u]; // {}[]
>c : Symbol(c, Decl(heterogeneousArrayLiterals.ts, 52, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 49, 24))
var d = [t, 1]; // {}[]
>d : Symbol(d, Decl(heterogeneousArrayLiterals.ts, 53, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
var e = [() => t, () => u]; // {}[]
>e : Symbol(e, Decl(heterogeneousArrayLiterals.ts, 54, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 49, 24))
var f = [() => t, () => u, () => null]; // { (): any }[]
>f : Symbol(f, Decl(heterogeneousArrayLiterals.ts, 55, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 49, 19))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 49, 24))
}
function foo2<T extends Base, U extends Derived>(t: T, u: U) {
>foo2 : Symbol(foo2, Decl(heterogeneousArrayLiterals.ts, 56, 1))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 58, 14))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 58, 29))
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 58, 14))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 58, 54))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 58, 29))
var a = [t, t]; // T[]
>a : Symbol(a, Decl(heterogeneousArrayLiterals.ts, 59, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
var b = [t, null]; // T[]
>b : Symbol(b, Decl(heterogeneousArrayLiterals.ts, 60, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
var c = [t, u]; // {}[]
>c : Symbol(c, Decl(heterogeneousArrayLiterals.ts, 61, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 58, 54))
var d = [t, 1]; // {}[]
>d : Symbol(d, Decl(heterogeneousArrayLiterals.ts, 62, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
var e = [() => t, () => u]; // {}[]
>e : Symbol(e, Decl(heterogeneousArrayLiterals.ts, 63, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 58, 54))
var f = [() => t, () => u, () => null]; // { (): any }[]
>f : Symbol(f, Decl(heterogeneousArrayLiterals.ts, 64, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 58, 54))
var g = [t, base]; // Base[]
>g : Symbol(g, Decl(heterogeneousArrayLiterals.ts, 66, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var h = [t, derived]; // Derived[]
>h : Symbol(h, Decl(heterogeneousArrayLiterals.ts, 67, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 58, 49))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var i = [u, base]; // Base[]
>i : Symbol(i, Decl(heterogeneousArrayLiterals.ts, 68, 7))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 58, 54))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var j = [u, derived]; // Derived[]
>j : Symbol(j, Decl(heterogeneousArrayLiterals.ts, 69, 7))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 58, 54))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
}
function foo3<T extends Derived, U extends Derived>(t: T, u: U) {
>foo3 : Symbol(foo3, Decl(heterogeneousArrayLiterals.ts, 70, 1))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 72, 14))
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 72, 32))
>Derived : Symbol(Derived, Decl(heterogeneousArrayLiterals.ts, 20, 27), Decl(heterogeneousArrayLiterals.ts, 25, 23))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 72, 14))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 72, 57))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 72, 32))
var a = [t, t]; // T[]
>a : Symbol(a, Decl(heterogeneousArrayLiterals.ts, 73, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
var b = [t, null]; // T[]
>b : Symbol(b, Decl(heterogeneousArrayLiterals.ts, 74, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
var c = [t, u]; // {}[]
>c : Symbol(c, Decl(heterogeneousArrayLiterals.ts, 75, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 72, 57))
var d = [t, 1]; // {}[]
>d : Symbol(d, Decl(heterogeneousArrayLiterals.ts, 76, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
var e = [() => t, () => u]; // {}[]
>e : Symbol(e, Decl(heterogeneousArrayLiterals.ts, 77, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 72, 57))
var f = [() => t, () => u, () => null]; // { (): any }[]
>f : Symbol(f, Decl(heterogeneousArrayLiterals.ts, 78, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 72, 57))
var g = [t, base]; // Base[]
>g : Symbol(g, Decl(heterogeneousArrayLiterals.ts, 80, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var h = [t, derived]; // Derived[]
>h : Symbol(h, Decl(heterogeneousArrayLiterals.ts, 81, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 72, 52))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var i = [u, base]; // Base[]
>i : Symbol(i, Decl(heterogeneousArrayLiterals.ts, 82, 7))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 72, 57))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var j = [u, derived]; // Derived[]
>j : Symbol(j, Decl(heterogeneousArrayLiterals.ts, 83, 7))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 72, 57))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
}
function foo4<T extends Base, U extends Base>(t: T, u: U) {
>foo4 : Symbol(foo4, Decl(heterogeneousArrayLiterals.ts, 84, 1))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 86, 14))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 86, 29))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>T : Symbol(T, Decl(heterogeneousArrayLiterals.ts, 86, 14))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
>U : Symbol(U, Decl(heterogeneousArrayLiterals.ts, 86, 29))
var a = [t, t]; // T[]
>a : Symbol(a, Decl(heterogeneousArrayLiterals.ts, 87, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
var b = [t, null]; // T[]
>b : Symbol(b, Decl(heterogeneousArrayLiterals.ts, 88, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
var c = [t, u]; // BUG 821629
>c : Symbol(c, Decl(heterogeneousArrayLiterals.ts, 89, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
var d = [t, 1]; // {}[]
>d : Symbol(d, Decl(heterogeneousArrayLiterals.ts, 90, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
var e = [() => t, () => u]; // {}[]
>e : Symbol(e, Decl(heterogeneousArrayLiterals.ts, 91, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
var f = [() => t, () => u, () => null]; // { (): any }[]
>f : Symbol(f, Decl(heterogeneousArrayLiterals.ts, 92, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
var g = [t, base]; // Base[]
>g : Symbol(g, Decl(heterogeneousArrayLiterals.ts, 94, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var h = [t, derived]; // Derived[]
>h : Symbol(h, Decl(heterogeneousArrayLiterals.ts, 95, 7))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var i = [u, base]; // Base[]
>i : Symbol(i, Decl(heterogeneousArrayLiterals.ts, 96, 7))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
>base : Symbol(base, Decl(heterogeneousArrayLiterals.ts, 23, 3))
var j = [u, derived]; // Derived[]
>j : Symbol(j, Decl(heterogeneousArrayLiterals.ts, 97, 7))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
>derived : Symbol(derived, Decl(heterogeneousArrayLiterals.ts, 24, 3))
var k: Base[] = [t, u];
>k : Symbol(k, Decl(heterogeneousArrayLiterals.ts, 99, 7))
>Base : Symbol(Base, Decl(heterogeneousArrayLiterals.ts, 18, 32))
>t : Symbol(t, Decl(heterogeneousArrayLiterals.ts, 86, 46))
>u : Symbol(u, Decl(heterogeneousArrayLiterals.ts, 86, 51))
}
//function foo3<T extends U, U extends Derived>(t: T, u: U) {
// var a = [t, t]; // T[]
// var b = [t, null]; // T[]
// var c = [t, u]; // {}[]
// var d = [t, 1]; // {}[]
// var e = [() => t, () => u]; // {}[]
// var f = [() => t, () => u, () => null]; // { (): any }[]
// var g = [t, base]; // Base[]
// var h = [t, derived]; // Derived[]
// var i = [u, base]; // Base[]
// var j = [u, derived]; // Derived[]
//}
//function foo4<T extends U, U extends Base>(t: T, u: U) {
// var a = [t, t]; // T[]
// var b = [t, null]; // T[]
// var c = [t, u]; // BUG 821629
// var d = [t, 1]; // {}[]
// var e = [() => t, () => u]; // {}[]
// var f = [() => t, () => u, () => null]; // { (): any }[]
// var g = [t, base]; // Base[]
// var h = [t, derived]; // Derived[]
// var i = [u, base]; // Base[]
// var j = [u, derived]; // Derived[]
// var k: Base[] = [t, u];
//}
|
