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
|
=== tests/cases/conformance/types/conditional/inferTypes2.ts ===
// Repros from #22755
export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
>foo : <T>(obj: T) => T extends () => infer P ? P : never
>obj : T
export function bar<T>(obj: T) {
>bar : <T>(obj: T) => T extends () => infer P ? P : never
>obj : T
return foo(obj);
>foo(obj) : T extends () => infer P ? P : never
>foo : <T>(obj: T) => T extends () => infer P ? P : never
>obj : T
}
export type BadNested<T> = { x: T extends number ? T : string };
>BadNested : BadNested<T>
>x : T extends number ? T : string
export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never;
>foo2 : <T>(obj: T) => T extends { x: infer P extends number ? infer P : string; } ? P : never
>obj : T
export function bar2<T>(obj: T) {
>bar2 : <T>(obj: T) => T extends { x: infer P extends number ? infer P : string; } ? P : never
>obj : T
return foo2(obj);
>foo2(obj) : T extends { x: infer P extends number ? infer P : string; } ? P : never
>foo2 : <T>(obj: T) => T extends { x: infer P extends number ? infer P : string; } ? P : never
>obj : T
}
// Repros from #31099
type Weird = any extends infer U ? U : never;
>Weird : any
type AlsoWeird = unknown extends infer U ? U : never;
>AlsoWeird : unknown
const a: Weird = null;
>a : any
>null : null
const b: string = a;
>b : string
>a : any
|
