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
|
=== tests/cases/compiler/inferenceFromParameterlessLambda.ts ===
function foo<T>(o: Take<T>, i: Make<T>) { }
>foo : Symbol(foo, Decl(inferenceFromParameterlessLambda.ts, 0, 0))
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 0, 13))
>o : Symbol(o, Decl(inferenceFromParameterlessLambda.ts, 0, 16))
>Take : Symbol(Take, Decl(inferenceFromParameterlessLambda.ts, 3, 1))
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 0, 13))
>i : Symbol(i, Decl(inferenceFromParameterlessLambda.ts, 0, 27))
>Make : Symbol(Make, Decl(inferenceFromParameterlessLambda.ts, 0, 43))
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 0, 13))
interface Make<T> {
>Make : Symbol(Make, Decl(inferenceFromParameterlessLambda.ts, 0, 43))
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 1, 15))
(): T;
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 1, 15))
}
interface Take<T> {
>Take : Symbol(Take, Decl(inferenceFromParameterlessLambda.ts, 3, 1))
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 4, 15))
(n: T): void;
>n : Symbol(n, Decl(inferenceFromParameterlessLambda.ts, 5, 5))
>T : Symbol(T, Decl(inferenceFromParameterlessLambda.ts, 4, 15))
}
// Infer string from second argument because it isn't context sensitive
foo(n => n.length, () => 'hi');
>foo : Symbol(foo, Decl(inferenceFromParameterlessLambda.ts, 0, 0))
>n : Symbol(n, Decl(inferenceFromParameterlessLambda.ts, 8, 4))
>n.length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
>n : Symbol(n, Decl(inferenceFromParameterlessLambda.ts, 8, 4))
>length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
|
