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