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
|
=== tests/cases/compiler/mappedTypeInferenceAliasSubstitution.ts ===
// repro from #31616
const v = { test: { smth: 5 } };
>v : { test: { smth: number; }; }
>{ test: { smth: 5 } } : { test: { smth: number; }; }
>test : { smth: number; }
>{ smth: 5 } : { smth: number; }
>smth : number
>5 : 5
type Field<A extends string, R> = { [K in A]: R }
>Field : Field<A, R>
const f = <A extends string, B extends string, R>(x: { [K in A]: Field<B, R> }): R => ({} as any);
>f : <A extends string, B extends string, R>(x: { [K in A]: Field<B, R>; }) => R
><A extends string, B extends string, R>(x: { [K in A]: Field<B, R> }): R => ({} as any) : <A extends string, B extends string, R>(x: { [K in A]: Field<B, R>; }) => R
>x : { [K in A]: Field<B, R>; }
>({} as any) : any
>{} as any : any
>{} : {}
const r1 = f(v);
>r1 : number
>f(v) : number
>f : <A extends string, B extends string, R>(x: { [K in A]: Field<B, R>; }) => R
>v : { test: { smth: number; }; }
const g = <A extends string, B extends string, R>(x: Field<A, Field<B, R>>): R => ({} as any);
>g : <A extends string, B extends string, R>(x: Field<A, Field<B, R>>) => R
><A extends string, B extends string, R>(x: Field<A, Field<B, R>>): R => ({} as any) : <A extends string, B extends string, R>(x: Field<A, Field<B, R>>) => R
>x : Field<A, Field<B, R>>
>({} as any) : any
>{} as any : any
>{} : {}
const r2 = g(v);
>r2 : number
>g(v) : number
>g : <A extends string, B extends string, R>(x: Field<A, Field<B, R>>) => R
>v : { test: { smth: number; }; }
|
