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