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
|
=== tests/cases/conformance/classes/members/classTypes/instancePropertiesInheritedIntoClassType.ts ===
module NonGeneric {
>NonGeneric : Symbol(NonGeneric, Decl(instancePropertiesInheritedIntoClassType.ts, 0, 0))
class C {
>C : Symbol(C, Decl(instancePropertiesInheritedIntoClassType.ts, 0, 19))
x: string;
>x : Symbol(C.x, Decl(instancePropertiesInheritedIntoClassType.ts, 1, 13))
get y() {
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
return 1;
}
set y(v) { }
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
>v : Symbol(v, Decl(instancePropertiesInheritedIntoClassType.ts, 6, 14))
fn() { return this; }
>fn : Symbol(C.fn, Decl(instancePropertiesInheritedIntoClassType.ts, 6, 20))
>this : Symbol(C, Decl(instancePropertiesInheritedIntoClassType.ts, 0, 19))
constructor(public a: number, private b: number) { }
>a : Symbol(C.a, Decl(instancePropertiesInheritedIntoClassType.ts, 8, 20))
>b : Symbol(C.b, Decl(instancePropertiesInheritedIntoClassType.ts, 8, 37))
}
class D extends C { e: string; }
>D : Symbol(D, Decl(instancePropertiesInheritedIntoClassType.ts, 9, 5))
>C : Symbol(C, Decl(instancePropertiesInheritedIntoClassType.ts, 0, 19))
>e : Symbol(D.e, Decl(instancePropertiesInheritedIntoClassType.ts, 11, 23))
var d = new D(1, 2);
>d : Symbol(d, Decl(instancePropertiesInheritedIntoClassType.ts, 13, 7))
>D : Symbol(D, Decl(instancePropertiesInheritedIntoClassType.ts, 9, 5))
var r = d.fn();
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 14, 7))
>d.fn : Symbol(C.fn, Decl(instancePropertiesInheritedIntoClassType.ts, 6, 20))
>d : Symbol(d, Decl(instancePropertiesInheritedIntoClassType.ts, 13, 7))
>fn : Symbol(C.fn, Decl(instancePropertiesInheritedIntoClassType.ts, 6, 20))
var r2 = r.x;
>r2 : Symbol(r2, Decl(instancePropertiesInheritedIntoClassType.ts, 15, 7))
>r.x : Symbol(C.x, Decl(instancePropertiesInheritedIntoClassType.ts, 1, 13))
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 14, 7))
>x : Symbol(C.x, Decl(instancePropertiesInheritedIntoClassType.ts, 1, 13))
var r3 = r.y;
>r3 : Symbol(r3, Decl(instancePropertiesInheritedIntoClassType.ts, 16, 7))
>r.y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 14, 7))
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
r.y = 4;
>r.y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 14, 7))
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
var r6 = d.y(); // error
>r6 : Symbol(r6, Decl(instancePropertiesInheritedIntoClassType.ts, 18, 7))
>d.y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
>d : Symbol(d, Decl(instancePropertiesInheritedIntoClassType.ts, 13, 7))
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 2, 18), Decl(instancePropertiesInheritedIntoClassType.ts, 5, 9))
}
module Generic {
>Generic : Symbol(Generic, Decl(instancePropertiesInheritedIntoClassType.ts, 20, 1))
class C<T, U> {
>C : Symbol(C, Decl(instancePropertiesInheritedIntoClassType.ts, 22, 16))
>T : Symbol(T, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 12))
>U : Symbol(U, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 14))
x: T;
>x : Symbol(C.x, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 19))
>T : Symbol(T, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 12))
get y() {
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
return null;
}
set y(v: U) { }
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
>v : Symbol(v, Decl(instancePropertiesInheritedIntoClassType.ts, 28, 14))
>U : Symbol(U, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 14))
fn() { return this; }
>fn : Symbol(C.fn, Decl(instancePropertiesInheritedIntoClassType.ts, 28, 23))
>this : Symbol(C, Decl(instancePropertiesInheritedIntoClassType.ts, 22, 16))
constructor(public a: T, private b: U) { }
>a : Symbol(C.a, Decl(instancePropertiesInheritedIntoClassType.ts, 30, 20))
>T : Symbol(T, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 12))
>b : Symbol(C.b, Decl(instancePropertiesInheritedIntoClassType.ts, 30, 32))
>U : Symbol(U, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 14))
}
class D<T, U> extends C<T, U> { e: T; }
>D : Symbol(D, Decl(instancePropertiesInheritedIntoClassType.ts, 31, 5))
>T : Symbol(T, Decl(instancePropertiesInheritedIntoClassType.ts, 33, 12))
>U : Symbol(U, Decl(instancePropertiesInheritedIntoClassType.ts, 33, 14))
>C : Symbol(C, Decl(instancePropertiesInheritedIntoClassType.ts, 22, 16))
>T : Symbol(T, Decl(instancePropertiesInheritedIntoClassType.ts, 33, 12))
>U : Symbol(U, Decl(instancePropertiesInheritedIntoClassType.ts, 33, 14))
>e : Symbol(D.e, Decl(instancePropertiesInheritedIntoClassType.ts, 33, 35))
>T : Symbol(T, Decl(instancePropertiesInheritedIntoClassType.ts, 33, 12))
var d = new D(1, '');
>d : Symbol(d, Decl(instancePropertiesInheritedIntoClassType.ts, 35, 7))
>D : Symbol(D, Decl(instancePropertiesInheritedIntoClassType.ts, 31, 5))
var r = d.fn();
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 36, 7))
>d.fn : Symbol(C.fn, Decl(instancePropertiesInheritedIntoClassType.ts, 28, 23))
>d : Symbol(d, Decl(instancePropertiesInheritedIntoClassType.ts, 35, 7))
>fn : Symbol(C.fn, Decl(instancePropertiesInheritedIntoClassType.ts, 28, 23))
var r2 = r.x;
>r2 : Symbol(r2, Decl(instancePropertiesInheritedIntoClassType.ts, 37, 7))
>r.x : Symbol(C.x, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 19))
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 36, 7))
>x : Symbol(C.x, Decl(instancePropertiesInheritedIntoClassType.ts, 23, 19))
var r3 = r.y;
>r3 : Symbol(r3, Decl(instancePropertiesInheritedIntoClassType.ts, 38, 7))
>r.y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 36, 7))
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
r.y = '';
>r.y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
>r : Symbol(r, Decl(instancePropertiesInheritedIntoClassType.ts, 36, 7))
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
var r6 = d.y(); // error
>r6 : Symbol(r6, Decl(instancePropertiesInheritedIntoClassType.ts, 40, 7))
>d.y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
>d : Symbol(d, Decl(instancePropertiesInheritedIntoClassType.ts, 35, 7))
>y : Symbol(C.y, Decl(instancePropertiesInheritedIntoClassType.ts, 24, 13), Decl(instancePropertiesInheritedIntoClassType.ts, 27, 9))
}
|
