1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
=== tests/cases/compiler/inferringAnyFunctionType5.ts ===
function f<T extends { q: (p1: number) => number }>(p: T): T {
>f : <T extends { q: (p1: number) => number; }>(p: T) => T
>T : T
>q : (p1: number) => number
>p1 : number
>p : T
>T : T
>T : T
return p;
>p : T
}
var v = f({ q: x => x });
>v : { q: (x: number) => number; }
>f({ q: x => x }) : { q: (x: number) => number; }
>f : <T extends { q: (p1: number) => number; }>(p: T) => T
>{ q: x => x } : { q: (x: number) => number; }
>q : (x: number) => number
>x => x : (x: number) => number
>x : number
>x : number
|
