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/inheritedOverloadedSpecializedSignatures.ts ===
interface A {
>A : Symbol(A, Decl(inheritedOverloadedSpecializedSignatures.ts, 0, 0), Decl(inheritedOverloadedSpecializedSignatures.ts, 10, 19), Decl(inheritedOverloadedSpecializedSignatures.ts, 19, 1))
(key:string):void;
>key : Symbol(key, Decl(inheritedOverloadedSpecializedSignatures.ts, 1, 3))
}
interface B extends A {
>B : Symbol(B, Decl(inheritedOverloadedSpecializedSignatures.ts, 2, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 15, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 23, 1))
>A : Symbol(A, Decl(inheritedOverloadedSpecializedSignatures.ts, 0, 0), Decl(inheritedOverloadedSpecializedSignatures.ts, 10, 19), Decl(inheritedOverloadedSpecializedSignatures.ts, 19, 1))
(key:'foo'):string;
>key : Symbol(key, Decl(inheritedOverloadedSpecializedSignatures.ts, 5, 3))
}
var b:B;
>b : Symbol(b, Decl(inheritedOverloadedSpecializedSignatures.ts, 8, 3))
>B : Symbol(B, Decl(inheritedOverloadedSpecializedSignatures.ts, 2, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 15, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 23, 1))
// Should not error
b('foo').charAt(0);
>b('foo').charAt : Symbol(String.charAt, Decl(lib.es5.d.ts, --, --))
>b : Symbol(b, Decl(inheritedOverloadedSpecializedSignatures.ts, 8, 3))
>charAt : Symbol(String.charAt, Decl(lib.es5.d.ts, --, --))
interface A {
>A : Symbol(A, Decl(inheritedOverloadedSpecializedSignatures.ts, 0, 0), Decl(inheritedOverloadedSpecializedSignatures.ts, 10, 19), Decl(inheritedOverloadedSpecializedSignatures.ts, 19, 1))
(x: 'A1'): string;
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 13, 5))
(x: string): void;
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 14, 5))
}
interface B extends A {
>B : Symbol(B, Decl(inheritedOverloadedSpecializedSignatures.ts, 2, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 15, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 23, 1))
>A : Symbol(A, Decl(inheritedOverloadedSpecializedSignatures.ts, 0, 0), Decl(inheritedOverloadedSpecializedSignatures.ts, 10, 19), Decl(inheritedOverloadedSpecializedSignatures.ts, 19, 1))
(x: 'B1'): number;
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 18, 5))
}
interface A {
>A : Symbol(A, Decl(inheritedOverloadedSpecializedSignatures.ts, 0, 0), Decl(inheritedOverloadedSpecializedSignatures.ts, 10, 19), Decl(inheritedOverloadedSpecializedSignatures.ts, 19, 1))
(x: 'A2'): boolean;
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 22, 5))
}
interface B {
>B : Symbol(B, Decl(inheritedOverloadedSpecializedSignatures.ts, 2, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 15, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 23, 1))
(x: 'B2'): string[];
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 26, 5))
}
interface C1 extends B {
>C1 : Symbol(C1, Decl(inheritedOverloadedSpecializedSignatures.ts, 27, 1))
>B : Symbol(B, Decl(inheritedOverloadedSpecializedSignatures.ts, 2, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 15, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 23, 1))
(x: 'C1'): number[];
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 30, 2))
}
interface C2 extends B {
>C2 : Symbol(C2, Decl(inheritedOverloadedSpecializedSignatures.ts, 31, 1))
>B : Symbol(B, Decl(inheritedOverloadedSpecializedSignatures.ts, 2, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 15, 1), Decl(inheritedOverloadedSpecializedSignatures.ts, 23, 1))
(x: 'C2'): boolean[];
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 34, 2))
}
interface C extends C1, C2 {
>C : Symbol(C, Decl(inheritedOverloadedSpecializedSignatures.ts, 35, 1))
>C1 : Symbol(C1, Decl(inheritedOverloadedSpecializedSignatures.ts, 27, 1))
>C2 : Symbol(C2, Decl(inheritedOverloadedSpecializedSignatures.ts, 31, 1))
(x: 'C'): string;
>x : Symbol(x, Decl(inheritedOverloadedSpecializedSignatures.ts, 38, 2))
}
var c: C;
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
>C : Symbol(C, Decl(inheritedOverloadedSpecializedSignatures.ts, 35, 1))
// none of these lines should error
var x1: string[] = c('B2');
>x1 : Symbol(x1, Decl(inheritedOverloadedSpecializedSignatures.ts, 43, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x2: number = c('B1');
>x2 : Symbol(x2, Decl(inheritedOverloadedSpecializedSignatures.ts, 44, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x3: boolean = c('A2');
>x3 : Symbol(x3, Decl(inheritedOverloadedSpecializedSignatures.ts, 45, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x4: string = c('A1');
>x4 : Symbol(x4, Decl(inheritedOverloadedSpecializedSignatures.ts, 46, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x5: void = c('A0');
>x5 : Symbol(x5, Decl(inheritedOverloadedSpecializedSignatures.ts, 47, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x6: number[] = c('C1');
>x6 : Symbol(x6, Decl(inheritedOverloadedSpecializedSignatures.ts, 48, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x7: boolean[] = c('C2');
>x7 : Symbol(x7, Decl(inheritedOverloadedSpecializedSignatures.ts, 49, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x8: string = c('C');
>x8 : Symbol(x8, Decl(inheritedOverloadedSpecializedSignatures.ts, 50, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
var x9: void = c('generic');
>x9 : Symbol(x9, Decl(inheritedOverloadedSpecializedSignatures.ts, 51, 3))
>c : Symbol(c, Decl(inheritedOverloadedSpecializedSignatures.ts, 41, 3))
|
