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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
=== tests/cases/compiler/overload1.ts ===
module O {
>O : Symbol(O, Decl(overload1.ts, 0, 0))
export class A {
>A : Symbol(A, Decl(overload1.ts, 0, 10))
}
export class B extends A {
>B : Symbol(B, Decl(overload1.ts, 3, 5))
>A : Symbol(A, Decl(overload1.ts, 0, 10))
}
export class C extends B {
>C : Symbol(C, Decl(overload1.ts, 6, 5))
>B : Symbol(B, Decl(overload1.ts, 3, 5))
}
export interface I {
>I : Symbol(I, Decl(overload1.ts, 10, 5))
f(s:string):number;
>f : Symbol(I.f, Decl(overload1.ts, 12, 24), Decl(overload1.ts, 13, 27))
>s : Symbol(s, Decl(overload1.ts, 13, 10))
f(n:number):string;
>f : Symbol(I.f, Decl(overload1.ts, 12, 24), Decl(overload1.ts, 13, 27))
>n : Symbol(n, Decl(overload1.ts, 14, 10))
g(n1:number,n2:number):number;
>g : Symbol(I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>n1 : Symbol(n1, Decl(overload1.ts, 15, 10))
>n2 : Symbol(n2, Decl(overload1.ts, 15, 20))
g(n:number):string;
>g : Symbol(I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>n : Symbol(n, Decl(overload1.ts, 16, 10))
g(a:A):C;
>g : Symbol(I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>a : Symbol(a, Decl(overload1.ts, 17, 10))
>A : Symbol(A, Decl(overload1.ts, 0, 10))
>C : Symbol(C, Decl(overload1.ts, 6, 5))
g(c:C):string;
>g : Symbol(I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>c : Symbol(c, Decl(overload1.ts, 18, 10))
>C : Symbol(C, Decl(overload1.ts, 6, 5))
h(s1:string,s2:number):string;
>h : Symbol(I.h, Decl(overload1.ts, 18, 22), Decl(overload1.ts, 19, 38))
>s1 : Symbol(s1, Decl(overload1.ts, 19, 10))
>s2 : Symbol(s2, Decl(overload1.ts, 19, 20))
h(s1:number,s2:string):number;
>h : Symbol(I.h, Decl(overload1.ts, 18, 22), Decl(overload1.ts, 19, 38))
>s1 : Symbol(s1, Decl(overload1.ts, 20, 10))
>s2 : Symbol(s2, Decl(overload1.ts, 20, 20))
}
}
declare var x:O.I;
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>O : Symbol(O, Decl(overload1.ts, 0, 0))
>I : Symbol(O.I, Decl(overload1.ts, 10, 5))
var e:string=x.g(new O.A()); // matches overload but bad assignment
>e : Symbol(e, Decl(overload1.ts, 26, 3))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>O.A : Symbol(O.A, Decl(overload1.ts, 0, 10))
>O : Symbol(O, Decl(overload1.ts, 0, 0))
>A : Symbol(O.A, Decl(overload1.ts, 0, 10))
var y:string=x.f(3); // good
>y : Symbol(y, Decl(overload1.ts, 27, 3))
>x.f : Symbol(O.I.f, Decl(overload1.ts, 12, 24), Decl(overload1.ts, 13, 27))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>f : Symbol(O.I.f, Decl(overload1.ts, 12, 24), Decl(overload1.ts, 13, 27))
y=x.f("nope"); // can't assign number to string
>y : Symbol(y, Decl(overload1.ts, 27, 3))
>x.f : Symbol(O.I.f, Decl(overload1.ts, 12, 24), Decl(overload1.ts, 13, 27))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>f : Symbol(O.I.f, Decl(overload1.ts, 12, 24), Decl(overload1.ts, 13, 27))
var z:string=x.g(x.g(3,3)); // good
>z : Symbol(z, Decl(overload1.ts, 29, 3))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
z=x.g(2,2,2); // no match
>z : Symbol(z, Decl(overload1.ts, 29, 3))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
z=x.g(); // no match
>z : Symbol(z, Decl(overload1.ts, 29, 3))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
z=x.g(new O.B()); // ambiguous (up and down conversion)
>z : Symbol(z, Decl(overload1.ts, 29, 3))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>O.B : Symbol(O.B, Decl(overload1.ts, 3, 5))
>O : Symbol(O, Decl(overload1.ts, 0, 0))
>B : Symbol(O.B, Decl(overload1.ts, 3, 5))
z=x.h(2,2); // no match
>z : Symbol(z, Decl(overload1.ts, 29, 3))
>x.h : Symbol(O.I.h, Decl(overload1.ts, 18, 22), Decl(overload1.ts, 19, 38))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>h : Symbol(O.I.h, Decl(overload1.ts, 18, 22), Decl(overload1.ts, 19, 38))
z=x.h("hello",0); // good
>z : Symbol(z, Decl(overload1.ts, 29, 3))
>x.h : Symbol(O.I.h, Decl(overload1.ts, 18, 22), Decl(overload1.ts, 19, 38))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>h : Symbol(O.I.h, Decl(overload1.ts, 18, 22), Decl(overload1.ts, 19, 38))
var v=x.g;
>v : Symbol(v, Decl(overload1.ts, 36, 3))
>x.g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
>x : Symbol(x, Decl(overload1.ts, 24, 11))
>g : Symbol(O.I.g, Decl(overload1.ts, 14, 27), Decl(overload1.ts, 15, 38), Decl(overload1.ts, 16, 27), Decl(overload1.ts, 17, 17))
|
