1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
//// [tests/cases/conformance/types/conditional/inferTypesWithExtends2.ts] ////
=== inferTypesWithExtends2.ts ===
// infer twice with different constraints (same behavior as class/interface)
type X1<T> =
>X1 : X1<T>
T extends { a: infer U extends string, b: infer U extends number } ? U :
>a : U
>b : U
never;
// infer cannot reference type params in same 'extends' clause
type X2<T> =
>X2 : X2<T>
T extends { a: infer U, b: infer V extends U } ? [U, V] :
>a : U
>b : V
never;
|
