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
|
=== tests/cases/compiler/inferentialTypingObjectLiteralMethod1.ts ===
interface Int<T, U> {
>Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 0))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 14))
>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 16))
method(x: T): U;
>method : Symbol(Int.method, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 21))
>x : Symbol(x, Decl(inferentialTypingObjectLiteralMethod1.ts, 1, 11))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 14))
>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 16))
}
declare function foo<T, U>(x: T, y: Int<T, U>, z: Int<U, T>): T;
>foo : Symbol(foo, Decl(inferentialTypingObjectLiteralMethod1.ts, 2, 1))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 21))
>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 23))
>x : Symbol(x, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 27))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 21))
>y : Symbol(y, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 32))
>Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 0))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 21))
>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 23))
>z : Symbol(z, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 46))
>Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod1.ts, 0, 0))
>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 23))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 21))
>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod1.ts, 3, 21))
foo("", { method(p1) { return p1.length } }, { method(p2) { return undefined } });
>foo : Symbol(foo, Decl(inferentialTypingObjectLiteralMethod1.ts, 2, 1))
>method : Symbol(method, Decl(inferentialTypingObjectLiteralMethod1.ts, 4, 9))
>p1 : Symbol(p1, Decl(inferentialTypingObjectLiteralMethod1.ts, 4, 17))
>p1.length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
>p1 : Symbol(p1, Decl(inferentialTypingObjectLiteralMethod1.ts, 4, 17))
>length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
>method : Symbol(method, Decl(inferentialTypingObjectLiteralMethod1.ts, 4, 46))
>p2 : Symbol(p2, Decl(inferentialTypingObjectLiteralMethod1.ts, 4, 54))
>undefined : Symbol(undefined)
|
