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
|
=== tests/cases/compiler/overloadBindingAcrossDeclarationBoundaries_file0.ts ===
interface Opt1 {
>Opt1 : Opt1
p?: any;
>p : any
}
interface Opt2 {
>Opt2 : Opt2
q?: any;
>q : any
}
interface Opt3 {
>Opt3 : Opt3
r?: any;
>r : any
}
interface Opt4 {
>Opt4 : Opt4
s?: any;
>s : any
}
interface A {
>A : A
a(o: Opt1): Opt1;
>a : { (o: Opt1): Opt1; (o: Opt2): Opt2; (o: Opt3): Opt3; (o: Opt4): Opt4; }
>o : Opt1
>Opt1 : Opt1
>Opt1 : Opt1
a(o: Opt2): Opt2;
>a : { (o: Opt1): Opt1; (o: Opt2): Opt2; (o: Opt3): Opt3; (o: Opt4): Opt4; }
>o : Opt2
>Opt2 : Opt2
>Opt2 : Opt2
(o: Opt1): Opt1;
>o : Opt1
>Opt1 : Opt1
>Opt1 : Opt1
(o: Opt2): Opt2;
>o : Opt2
>Opt2 : Opt2
>Opt2 : Opt2
new (o: Opt1): Opt1;
>o : Opt1
>Opt1 : Opt1
>Opt1 : Opt1
new (o: Opt2): Opt2;
>o : Opt2
>Opt2 : Opt2
>Opt2 : Opt2
}
=== tests/cases/compiler/overloadBindingAcrossDeclarationBoundaries_file1.ts ===
interface A {
>A : A
a(o: Opt3): Opt3;
>a : { (o: Opt1): Opt1; (o: Opt2): Opt2; (o: Opt3): Opt3; (o: Opt4): Opt4; }
>o : Opt3
>Opt3 : Opt3
>Opt3 : Opt3
a(o: Opt4): Opt4;
>a : { (o: Opt1): Opt1; (o: Opt2): Opt2; (o: Opt3): Opt3; (o: Opt4): Opt4; }
>o : Opt4
>Opt4 : Opt4
>Opt4 : Opt4
(o: Opt3): Opt3;
>o : Opt3
>Opt3 : Opt3
>Opt3 : Opt3
(o: Opt4): Opt4;
>o : Opt4
>Opt4 : Opt4
>Opt4 : Opt4
new (o: Opt3): Opt3;
>o : Opt3
>Opt3 : Opt3
>Opt3 : Opt3
new (o: Opt4): Opt4;
>o : Opt4
>Opt4 : Opt4
>Opt4 : Opt4
}
var a: A;
>a : A
>A : A
// These should all be Opt3
var a1 = a.a({});
>a1 : Opt3
>a.a({}) : Opt3
>a.a : { (o: Opt1): Opt1; (o: Opt2): Opt2; (o: Opt3): Opt3; (o: Opt4): Opt4; }
>a : A
>a : { (o: Opt1): Opt1; (o: Opt2): Opt2; (o: Opt3): Opt3; (o: Opt4): Opt4; }
>{} : {}
var a1 = a({});
>a1 : Opt3
>a({}) : Opt3
>a : A
>{} : {}
var a1 = new a({});
>a1 : Opt3
>new a({}) : Opt3
>a : A
>{} : {}
|
