|
1 |
| -=== tests/cases/compiler/inferentialTypingObjectLiteralMethod2.ts === |
2 |
| -interface Int<T, U> { |
3 |
| ->Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 0)) |
4 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 14)) |
5 |
| ->U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 16)) |
6 |
| - |
7 |
| - [s: string]: (x: T) => U; |
8 |
| ->s : Symbol(s, Decl(inferentialTypingObjectLiteralMethod2.ts, 1, 5)) |
9 |
| ->x : Symbol(x, Decl(inferentialTypingObjectLiteralMethod2.ts, 1, 18)) |
10 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 14)) |
11 |
| ->U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 16)) |
12 |
| -} |
13 |
| -declare function foo<T, U>(x: T, y: Int<T, U>, z: Int<U, T>): T; |
14 |
| ->foo : Symbol(foo, Decl(inferentialTypingObjectLiteralMethod2.ts, 2, 1)) |
15 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
16 |
| ->U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 23)) |
17 |
| ->x : Symbol(x, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 27)) |
18 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
19 |
| ->y : Symbol(y, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 32)) |
20 |
| ->Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 0)) |
21 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
22 |
| ->U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 23)) |
23 |
| ->z : Symbol(z, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 46)) |
24 |
| ->Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 0)) |
25 |
| ->U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 23)) |
26 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
27 |
| ->T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
28 |
| - |
29 |
| -foo("", { method(p1) { return p1.length } }, { method(p2) { return undefined } }); |
30 |
| ->foo : Symbol(foo, Decl(inferentialTypingObjectLiteralMethod2.ts, 2, 1)) |
31 |
| ->method : Symbol(method, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 9)) |
32 |
| ->p1 : Symbol(p1, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 17)) |
33 |
| ->p1.length : Symbol(String.length, Decl(lib.d.ts, 414, 19)) |
34 |
| ->p1 : Symbol(p1, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 17)) |
35 |
| ->length : Symbol(String.length, Decl(lib.d.ts, 414, 19)) |
36 |
| ->method : Symbol(method, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 46)) |
37 |
| ->p2 : Symbol(p2, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 54)) |
38 |
| ->undefined : Symbol(undefined) |
39 |
| - |
| 1 | +=== tests/cases/compiler/inferentialTypingObjectLiteralMethod2.ts === |
| 2 | +interface Int<T, U> { |
| 3 | +>Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 0)) |
| 4 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 14)) |
| 5 | +>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 16)) |
| 6 | +
|
| 7 | + [s: string]: (x: T) => U; |
| 8 | +>s : Symbol(s, Decl(inferentialTypingObjectLiteralMethod2.ts, 1, 5)) |
| 9 | +>x : Symbol(x, Decl(inferentialTypingObjectLiteralMethod2.ts, 1, 18)) |
| 10 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 14)) |
| 11 | +>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 16)) |
| 12 | +} |
| 13 | +declare function foo<T, U>(x: T, y: Int<T, U>, z: Int<U, T>): T; |
| 14 | +>foo : Symbol(foo, Decl(inferentialTypingObjectLiteralMethod2.ts, 2, 1)) |
| 15 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
| 16 | +>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 23)) |
| 17 | +>x : Symbol(x, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 27)) |
| 18 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
| 19 | +>y : Symbol(y, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 32)) |
| 20 | +>Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 0)) |
| 21 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
| 22 | +>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 23)) |
| 23 | +>z : Symbol(z, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 46)) |
| 24 | +>Int : Symbol(Int, Decl(inferentialTypingObjectLiteralMethod2.ts, 0, 0)) |
| 25 | +>U : Symbol(U, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 23)) |
| 26 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
| 27 | +>T : Symbol(T, Decl(inferentialTypingObjectLiteralMethod2.ts, 3, 21)) |
| 28 | +
|
| 29 | +foo("", { method(p1) { return p1.length } }, { method(p2) { return undefined } }); |
| 30 | +>foo : Symbol(foo, Decl(inferentialTypingObjectLiteralMethod2.ts, 2, 1)) |
| 31 | +>method : Symbol(method, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 9)) |
| 32 | +>p1 : Symbol(p1, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 17)) |
| 33 | +>p1.length : Symbol(String.length, Decl(lib.d.ts, 414, 19)) |
| 34 | +>p1 : Symbol(p1, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 17)) |
| 35 | +>length : Symbol(String.length, Decl(lib.d.ts, 414, 19)) |
| 36 | +>method : Symbol(method, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 46)) |
| 37 | +>p2 : Symbol(p2, Decl(inferentialTypingObjectLiteralMethod2.ts, 4, 54)) |
| 38 | +>undefined : Symbol(undefined) |
| 39 | +
|
0 commit comments