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
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
=== tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts ===
//super call in class constructor with no base type
class NoBase {
>NoBase : NoBase
constructor() {
super();
>super() : void
>super : any
}
//super call in class member function with no base type
fn() {
>fn : () => void
super();
>super() : void
>super : any
}
//super call in class accessor (get and set) with no base type
get foo() {
>foo : any
super();
>super() : void
>super : any
return null;
>null : null
}
set foo(v) {
>foo : any
>v : any
super();
>super() : void
>super : any
}
//super call in class member initializer with no base type
p = super();
>p : void
>super() : void
>super : any
//super call in static class member function with no base type
static fn() {
>fn : () => void
super();
>super() : void
>super : any
}
//super call in static class member initializer with no base type
static k = super();
>k : void
>super() : void
>super : any
//super call in static class accessor (get and set) with no base type
static get q() {
>q : any
super();
>super() : void
>super : any
return null;
>null : null
}
static set q(n) {
>q : any
>n : any
super();
>super() : void
>super : any
}
}
class Base<T> { private n: T; }
>Base : Base<T>
>n : T
class Derived<T> extends Base<T> {
>Derived : Derived<T>
>Base : Base<T>
//super call with type arguments
constructor() {
super<string>();
>super<string>() : any
>super : any
>super : Base<T>
> : any
super();
>super() : void
>super : typeof Base
}
}
class OtherBase {
>OtherBase : OtherBase
private n: string;
>n : string
}
class OtherDerived extends OtherBase {
>OtherDerived : OtherDerived
>OtherBase : OtherBase
//super call in class member initializer of derived type
t = super();
>t : void
>super() : void
>super : any
fn() {
>fn : () => void
//super call in class member function of derived type
super();
>super() : void
>super : any
}
//super call in class accessor (get and set) of derived type
get foo() {
>foo : any
super();
>super() : void
>super : any
return null;
>null : null
}
set foo(n) {
>foo : any
>n : any
super();
>super() : void
>super : any
}
}
|
