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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
=== tests/cases/compiler/contextualSignatureInstantiation3.ts ===
function map<T, U>(items: T[], f: (x: T) => U): U[]{
>map : Symbol(map, Decl(contextualSignatureInstantiation3.ts, 0, 0))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 0, 13))
>U : Symbol(U, Decl(contextualSignatureInstantiation3.ts, 0, 15))
>items : Symbol(items, Decl(contextualSignatureInstantiation3.ts, 0, 19))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 0, 13))
>f : Symbol(f, Decl(contextualSignatureInstantiation3.ts, 0, 30))
>x : Symbol(x, Decl(contextualSignatureInstantiation3.ts, 0, 35))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 0, 13))
>U : Symbol(U, Decl(contextualSignatureInstantiation3.ts, 0, 15))
>U : Symbol(U, Decl(contextualSignatureInstantiation3.ts, 0, 15))
return items.map(f);
>items.map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>items : Symbol(items, Decl(contextualSignatureInstantiation3.ts, 0, 19))
>map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>f : Symbol(f, Decl(contextualSignatureInstantiation3.ts, 0, 30))
}
function identity<T>(x: T) {
>identity : Symbol(identity, Decl(contextualSignatureInstantiation3.ts, 2, 1))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 4, 18))
>x : Symbol(x, Decl(contextualSignatureInstantiation3.ts, 4, 21))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 4, 18))
return x;
>x : Symbol(x, Decl(contextualSignatureInstantiation3.ts, 4, 21))
}
function singleton<T>(x: T) {
>singleton : Symbol(singleton, Decl(contextualSignatureInstantiation3.ts, 6, 1))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 8, 19))
>x : Symbol(x, Decl(contextualSignatureInstantiation3.ts, 8, 22))
>T : Symbol(T, Decl(contextualSignatureInstantiation3.ts, 8, 19))
return [x];
>x : Symbol(x, Decl(contextualSignatureInstantiation3.ts, 8, 22))
}
var xs = [1, 2, 3];
>xs : Symbol(xs, Decl(contextualSignatureInstantiation3.ts, 12, 3))
// Have compiler check that we get the correct types
var v1: number[];
>v1 : Symbol(v1, Decl(contextualSignatureInstantiation3.ts, 15, 3), Decl(contextualSignatureInstantiation3.ts, 16, 3), Decl(contextualSignatureInstantiation3.ts, 17, 3))
var v1 = xs.map(identity); // Error if not number[]
>v1 : Symbol(v1, Decl(contextualSignatureInstantiation3.ts, 15, 3), Decl(contextualSignatureInstantiation3.ts, 16, 3), Decl(contextualSignatureInstantiation3.ts, 17, 3))
>xs.map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>xs : Symbol(xs, Decl(contextualSignatureInstantiation3.ts, 12, 3))
>map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>identity : Symbol(identity, Decl(contextualSignatureInstantiation3.ts, 2, 1))
var v1 = map(xs, identity); // Error if not number[]
>v1 : Symbol(v1, Decl(contextualSignatureInstantiation3.ts, 15, 3), Decl(contextualSignatureInstantiation3.ts, 16, 3), Decl(contextualSignatureInstantiation3.ts, 17, 3))
>map : Symbol(map, Decl(contextualSignatureInstantiation3.ts, 0, 0))
>xs : Symbol(xs, Decl(contextualSignatureInstantiation3.ts, 12, 3))
>identity : Symbol(identity, Decl(contextualSignatureInstantiation3.ts, 2, 1))
var v2: number[][];
>v2 : Symbol(v2, Decl(contextualSignatureInstantiation3.ts, 19, 3), Decl(contextualSignatureInstantiation3.ts, 20, 3), Decl(contextualSignatureInstantiation3.ts, 21, 3))
var v2 = xs.map(singleton); // Error if not number[][]
>v2 : Symbol(v2, Decl(contextualSignatureInstantiation3.ts, 19, 3), Decl(contextualSignatureInstantiation3.ts, 20, 3), Decl(contextualSignatureInstantiation3.ts, 21, 3))
>xs.map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>xs : Symbol(xs, Decl(contextualSignatureInstantiation3.ts, 12, 3))
>map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>singleton : Symbol(singleton, Decl(contextualSignatureInstantiation3.ts, 6, 1))
var v2 = map(xs, singleton); // Error if not number[][]
>v2 : Symbol(v2, Decl(contextualSignatureInstantiation3.ts, 19, 3), Decl(contextualSignatureInstantiation3.ts, 20, 3), Decl(contextualSignatureInstantiation3.ts, 21, 3))
>map : Symbol(map, Decl(contextualSignatureInstantiation3.ts, 0, 0))
>xs : Symbol(xs, Decl(contextualSignatureInstantiation3.ts, 12, 3))
>singleton : Symbol(singleton, Decl(contextualSignatureInstantiation3.ts, 6, 1))
|
