Skip to content

Commit d37394a

Browse files
jablkojablko
committed
Add tests
1 parent 0d4e222 commit d37394a

8 files changed

+133
-9
lines changed

‎tests/baselines/reference/correctOrderOfPromiseMethod.js

+7-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ async function countEverything(): Promise<number> {
1515
const [resultA, resultB] = await Promise.all([
1616
providerA(),
1717
providerB(),
18-
] as const);
18+
]);
1919

2020
const dataA: A[] = resultA;
2121
const dataB: B[] = resultB;
@@ -24,6 +24,10 @@ async function countEverything(): Promise<number> {
2424
}
2525
return 0;
2626
}
27+
28+
// #31179
29+
30+
const expected: Promise<[0, 1, '']> = Promise.all(undefined as readonly [0, 1, '']);
2731

2832

2933
//// [correctOrderOfPromiseMethod.js]
@@ -92,3 +96,5 @@ function countEverything() {
9296
});
9397
});
9498
}
99+
// #31179
100+
var expected = Promise.all(undefined);

‎tests/baselines/reference/correctOrderOfPromiseMethod.symbols

+11-1
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ async function countEverything(): Promise<number> {
4343
providerB(),
4444
>providerB : Symbol(providerB, Decl(correctOrderOfPromiseMethod.ts, 11, 9))
4545

46-
] as const);
46+
]);
4747

4848
const dataA: A[] = resultA;
4949
>dataA : Symbol(dataA, Decl(correctOrderOfPromiseMethod.ts, 18, 9))
@@ -70,3 +70,13 @@ async function countEverything(): Promise<number> {
7070
return 0;
7171
}
7272

73+
// #31179
74+
75+
const expected: Promise<[0, 1, '']> = Promise.all(undefined as readonly [0, 1, '']);
76+
>expected : Symbol(expected, Decl(correctOrderOfPromiseMethod.ts, 28, 5))
77+
>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
78+
>Promise.all : Symbol(PromiseConstructor.all, Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --) ... and 6 more)
79+
>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
80+
>all : Symbol(PromiseConstructor.all, Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --) ... and 6 more)
81+
>undefined : Symbol(undefined)
82+

‎tests/baselines/reference/correctOrderOfPromiseMethod.types

+15-5
Original file line numberDiff line numberDiff line change
@@ -28,13 +28,12 @@ async function countEverything(): Promise<number> {
2828
const [resultA, resultB] = await Promise.all([
2929
>resultA : A[]
3030
>resultB : B[]
31-
>await Promise.all([ providerA(), providerB(), ] as const) : [A[], B[]]
32-
>Promise.all([ providerA(), providerB(), ] as const) : Promise<[A[], B[]]>
31+
>await Promise.all([ providerA(), providerB(), ]) : [A[], B[]]
32+
>Promise.all([ providerA(), providerB(), ]) : Promise<[A[], B[]]>
3333
>Promise.all : { <TAll>(values: Iterable<TAll | PromiseLike<TAll>>): Promise<TAll[]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>, T10 | PromiseLike<T10>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>; <T1, T2, T3, T4, T5, T6, T7, T8>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8]>; <T1, T2, T3, T4, T5, T6, T7>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>]): Promise<[T1, T2, T3, T4, T5, T6, T7]>; <T1, T2, T3, T4, T5, T6>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>]): Promise<[T1, T2, T3, T4, T5, T6]>; <T1, T2, T3, T4, T5>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>]): Promise<[T1, T2, T3, T4, T5]>; <T1, T2, T3, T4>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>]): Promise<[T1, T2, T3, T4]>; <T1, T2, T3>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>]): Promise<[T1, T2, T3]>; <T1, T2>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>]): Promise<[T1, T2]>; <T>(values: readonly (T | PromiseLike<T>)[]): Promise<T[]>; }
3434
>Promise : PromiseConstructor
3535
>all : { <TAll>(values: Iterable<TAll | PromiseLike<TAll>>): Promise<TAll[]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>, T10 | PromiseLike<T10>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>; <T1, T2, T3, T4, T5, T6, T7, T8>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8]>; <T1, T2, T3, T4, T5, T6, T7>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>]): Promise<[T1, T2, T3, T4, T5, T6, T7]>; <T1, T2, T3, T4, T5, T6>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>]): Promise<[T1, T2, T3, T4, T5, T6]>; <T1, T2, T3, T4, T5>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>]): Promise<[T1, T2, T3, T4, T5]>; <T1, T2, T3, T4>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>]): Promise<[T1, T2, T3, T4]>; <T1, T2, T3>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>]): Promise<[T1, T2, T3]>; <T1, T2>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>]): Promise<[T1, T2]>; <T>(values: readonly (T | PromiseLike<T>)[]): Promise<T[]>; }
36-
>[ providerA(), providerB(), ] as const : readonly [Promise<A[]>, Promise<B[]>]
37-
>[ providerA(), providerB(), ] : readonly [Promise<A[]>, Promise<B[]>]
36+
>[ providerA(), providerB(), ] : [Promise<A[]>, Promise<B[]>]
3837

3938
providerA(),
4039
>providerA() : Promise<A[]>
@@ -44,7 +43,7 @@ async function countEverything(): Promise<number> {
4443
>providerB() : Promise<B[]>
4544
>providerB : () => Promise<B[]>
4645

47-
] as const);
46+
]);
4847

4948
const dataA: A[] = resultA;
5049
>dataA : A[]
@@ -72,3 +71,14 @@ async function countEverything(): Promise<number> {
7271
>0 : 0
7372
}
7473

74+
// #31179
75+
76+
const expected: Promise<[0, 1, '']> = Promise.all(undefined as readonly [0, 1, '']);
77+
>expected : Promise<[0, 1, ""]>
78+
>Promise.all(undefined as readonly [0, 1, '']) : Promise<[0, 1, ""]>
79+
>Promise.all : { <TAll>(values: Iterable<TAll | PromiseLike<TAll>>): Promise<TAll[]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>, T10 | PromiseLike<T10>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>; <T1, T2, T3, T4, T5, T6, T7, T8>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8]>; <T1, T2, T3, T4, T5, T6, T7>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>]): Promise<[T1, T2, T3, T4, T5, T6, T7]>; <T1, T2, T3, T4, T5, T6>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>]): Promise<[T1, T2, T3, T4, T5, T6]>; <T1, T2, T3, T4, T5>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>]): Promise<[T1, T2, T3, T4, T5]>; <T1, T2, T3, T4>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>]): Promise<[T1, T2, T3, T4]>; <T1, T2, T3>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>]): Promise<[T1, T2, T3]>; <T1, T2>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>]): Promise<[T1, T2]>; <T>(values: readonly (T | PromiseLike<T>)[]): Promise<T[]>; }
80+
>Promise : PromiseConstructor
81+
>all : { <TAll>(values: Iterable<TAll | PromiseLike<TAll>>): Promise<TAll[]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>, T10 | PromiseLike<T10>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]>; <T1, T2, T3, T4, T5, T6, T7, T8, T9>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>; <T1, T2, T3, T4, T5, T6, T7, T8>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8]>; <T1, T2, T3, T4, T5, T6, T7>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>]): Promise<[T1, T2, T3, T4, T5, T6, T7]>; <T1, T2, T3, T4, T5, T6>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>]): Promise<[T1, T2, T3, T4, T5, T6]>; <T1, T2, T3, T4, T5>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>, T5 | PromiseLike<T5>]): Promise<[T1, T2, T3, T4, T5]>; <T1, T2, T3, T4>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike<T4>]): Promise<[T1, T2, T3, T4]>; <T1, T2, T3>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>]): Promise<[T1, T2, T3]>; <T1, T2>(values: readonly [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>]): Promise<[T1, T2]>; <T>(values: readonly (T | PromiseLike<T>)[]): Promise<T[]>; }
82+
>undefined as readonly [0, 1, ''] : readonly [0, 1, ""]
83+
>undefined : undefined
84+

‎tests/baselines/reference/typeInferenceWithTupleType.js

+12
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,15 @@ var zipResult = zip(["foo", "bar"], [5, 6]);
2323
var zipResultEle = zipResult[0]; // [string, number]
2424
var zipResultEleEle = zipResult[0][0]; // string
2525

26+
// #33559 and #33752
27+
28+
interface I<T> {}
29+
declare function f1<T1, T2>(values: [I<T1>, I<T2>]): T1;
30+
declare function f2<T1, T2>(values: readonly [I<T1>, I<T2>]): T1;
31+
32+
let expected: 1;
33+
expected = f1(undefined as [I<1>, I<number>]);
34+
expected = f2(undefined as [I<1>, I<number>]);
2635

2736

2837
//// [typeInferenceWithTupleType.js]
@@ -46,3 +55,6 @@ function zip(array1, array2) {
4655
var zipResult = zip(["foo", "bar"], [5, 6]);
4756
var zipResultEle = zipResult[0]; // [string, number]
4857
var zipResultEleEle = zipResult[0][0]; // string
58+
var expected;
59+
expected = f1(undefined);
60+
expected = f2(undefined);

‎tests/baselines/reference/typeInferenceWithTupleType.symbols

+44
Original file line numberDiff line numberDiff line change
@@ -97,4 +97,48 @@ var zipResultEleEle = zipResult[0][0]; // string
9797
>0 : Symbol(0)
9898
>0 : Symbol(0)
9999

100+
// #33559 and #33752
101+
102+
interface I<T> {}
103+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
104+
>T : Symbol(T, Decl(typeInferenceWithTupleType.ts, 26, 12))
105+
106+
declare function f1<T1, T2>(values: [I<T1>, I<T2>]): T1;
107+
>f1 : Symbol(f1, Decl(typeInferenceWithTupleType.ts, 26, 17))
108+
>T1 : Symbol(T1, Decl(typeInferenceWithTupleType.ts, 27, 20))
109+
>T2 : Symbol(T2, Decl(typeInferenceWithTupleType.ts, 27, 23))
110+
>values : Symbol(values, Decl(typeInferenceWithTupleType.ts, 27, 28))
111+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
112+
>T1 : Symbol(T1, Decl(typeInferenceWithTupleType.ts, 27, 20))
113+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
114+
>T2 : Symbol(T2, Decl(typeInferenceWithTupleType.ts, 27, 23))
115+
>T1 : Symbol(T1, Decl(typeInferenceWithTupleType.ts, 27, 20))
116+
117+
declare function f2<T1, T2>(values: readonly [I<T1>, I<T2>]): T1;
118+
>f2 : Symbol(f2, Decl(typeInferenceWithTupleType.ts, 27, 56))
119+
>T1 : Symbol(T1, Decl(typeInferenceWithTupleType.ts, 28, 20))
120+
>T2 : Symbol(T2, Decl(typeInferenceWithTupleType.ts, 28, 23))
121+
>values : Symbol(values, Decl(typeInferenceWithTupleType.ts, 28, 28))
122+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
123+
>T1 : Symbol(T1, Decl(typeInferenceWithTupleType.ts, 28, 20))
124+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
125+
>T2 : Symbol(T2, Decl(typeInferenceWithTupleType.ts, 28, 23))
126+
>T1 : Symbol(T1, Decl(typeInferenceWithTupleType.ts, 28, 20))
127+
128+
let expected: 1;
129+
>expected : Symbol(expected, Decl(typeInferenceWithTupleType.ts, 30, 3))
130+
131+
expected = f1(undefined as [I<1>, I<number>]);
132+
>expected : Symbol(expected, Decl(typeInferenceWithTupleType.ts, 30, 3))
133+
>f1 : Symbol(f1, Decl(typeInferenceWithTupleType.ts, 26, 17))
134+
>undefined : Symbol(undefined)
135+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
136+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
137+
138+
expected = f2(undefined as [I<1>, I<number>]);
139+
>expected : Symbol(expected, Decl(typeInferenceWithTupleType.ts, 30, 3))
140+
>f2 : Symbol(f2, Decl(typeInferenceWithTupleType.ts, 27, 56))
141+
>undefined : Symbol(undefined)
142+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
143+
>I : Symbol(I, Decl(typeInferenceWithTupleType.ts, 22, 38))
100144

‎tests/baselines/reference/typeInferenceWithTupleType.types

+29
Original file line numberDiff line numberDiff line change
@@ -109,4 +109,33 @@ var zipResultEleEle = zipResult[0][0]; // string
109109
>0 : 0
110110
>0 : 0
111111

112+
// #33559 and #33752
113+
114+
interface I<T> {}
115+
declare function f1<T1, T2>(values: [I<T1>, I<T2>]): T1;
116+
>f1 : <T1, T2>(values: [I<T1>, I<T2>]) => T1
117+
>values : [I<T1>, I<T2>]
118+
119+
declare function f2<T1, T2>(values: readonly [I<T1>, I<T2>]): T1;
120+
>f2 : <T1, T2>(values: readonly [I<T1>, I<T2>]) => T1
121+
>values : readonly [I<T1>, I<T2>]
122+
123+
let expected: 1;
124+
>expected : 1
125+
126+
expected = f1(undefined as [I<1>, I<number>]);
127+
>expected = f1(undefined as [I<1>, I<number>]) : 1
128+
>expected : 1
129+
>f1(undefined as [I<1>, I<number>]) : 1
130+
>f1 : <T1, T2>(values: [I<T1>, I<T2>]) => T1
131+
>undefined as [I<1>, I<number>] : [I<1>, I<number>]
132+
>undefined : undefined
133+
134+
expected = f2(undefined as [I<1>, I<number>]);
135+
>expected = f2(undefined as [I<1>, I<number>]) : 1
136+
>expected : 1
137+
>f2(undefined as [I<1>, I<number>]) : 1
138+
>f2 : <T1, T2>(values: readonly [I<T1>, I<T2>]) => T1
139+
>undefined as [I<1>, I<number>] : [I<1>, I<number>]
140+
>undefined : undefined
112141

‎tests/cases/compiler/correctOrderOfPromiseMethod.ts

+5-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ async function countEverything(): Promise<number> {
1717
const [resultA, resultB] = await Promise.all([
1818
providerA(),
1919
providerB(),
20-
] as const);
20+
]);
2121

2222
const dataA: A[] = resultA;
2323
const dataB: B[] = resultB;
@@ -26,3 +26,7 @@ async function countEverything(): Promise<number> {
2626
}
2727
return 0;
2828
}
29+
30+
// #31179
31+
32+
const expected: Promise<[0, 1, '']> = Promise.all(undefined as readonly [0, 1, '']);

‎tests/cases/conformance/types/tuple/typeInferenceWithTupleType.ts

+10-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
function combine<T, U>(x: T, y: U): [T, U] {
1+
function combine<T, U>(x: T, y: U): [T, U] {
22
return [x, y];
33
}
44

@@ -22,3 +22,12 @@ var zipResult = zip(["foo", "bar"], [5, 6]);
2222
var zipResultEle = zipResult[0]; // [string, number]
2323
var zipResultEleEle = zipResult[0][0]; // string
2424

25+
// #33559 and #33752
26+
27+
interface I<T> {}
28+
declare function f1<T1, T2>(values: [I<T1>, I<T2>]): T1;
29+
declare function f2<T1, T2>(values: readonly [I<T1>, I<T2>]): T1;
30+
31+
let expected: 1;
32+
expected = f1(undefined as [I<1>, I<number>]);
33+
expected = f2(undefined as [I<1>, I<number>]);

0 commit comments

Comments
 (0)