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
|
=== tests/cases/conformance/classes/classExpressions/genericClassExpressionInFunction.ts ===
class A<T> {
>A : Symbol(A, Decl(genericClassExpressionInFunction.ts, 0, 0))
>T : Symbol(T, Decl(genericClassExpressionInFunction.ts, 0, 8))
genericVar: T
>genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
>T : Symbol(T, Decl(genericClassExpressionInFunction.ts, 0, 8))
}
function B1<U>() {
>B1 : Symbol(B1, Decl(genericClassExpressionInFunction.ts, 2, 1))
>U : Symbol(U, Decl(genericClassExpressionInFunction.ts, 3, 12))
// class expression can use T
return class extends A<U> { }
>A : Symbol(A, Decl(genericClassExpressionInFunction.ts, 0, 0))
>U : Symbol(U, Decl(genericClassExpressionInFunction.ts, 3, 12))
}
class B2<V> {
>B2 : Symbol(B2, Decl(genericClassExpressionInFunction.ts, 6, 1))
>V : Symbol(V, Decl(genericClassExpressionInFunction.ts, 7, 9))
anon = class extends A<V> { }
>anon : Symbol(B2.anon, Decl(genericClassExpressionInFunction.ts, 7, 13))
>A : Symbol(A, Decl(genericClassExpressionInFunction.ts, 0, 0))
>V : Symbol(V, Decl(genericClassExpressionInFunction.ts, 7, 9))
}
function B3<W>() {
>B3 : Symbol(B3, Decl(genericClassExpressionInFunction.ts, 9, 1))
>W : Symbol(W, Decl(genericClassExpressionInFunction.ts, 10, 12))
return class Inner<TInner> extends A<W> { }
>Inner : Symbol(Inner, Decl(genericClassExpressionInFunction.ts, 11, 10))
>TInner : Symbol(TInner, Decl(genericClassExpressionInFunction.ts, 11, 23))
>A : Symbol(A, Decl(genericClassExpressionInFunction.ts, 0, 0))
>W : Symbol(W, Decl(genericClassExpressionInFunction.ts, 10, 12))
}
// extends can call B
class K extends B1<number>() {
>K : Symbol(K, Decl(genericClassExpressionInFunction.ts, 12, 1))
>B1 : Symbol(B1, Decl(genericClassExpressionInFunction.ts, 2, 1))
namae: string;
>namae : Symbol(K.namae, Decl(genericClassExpressionInFunction.ts, 14, 30))
}
class C extends (new B2<number>().anon) {
>C : Symbol(C, Decl(genericClassExpressionInFunction.ts, 16, 1))
>new B2<number>().anon : Symbol(B2.anon, Decl(genericClassExpressionInFunction.ts, 7, 13))
>B2 : Symbol(B2, Decl(genericClassExpressionInFunction.ts, 6, 1))
>anon : Symbol(B2.anon, Decl(genericClassExpressionInFunction.ts, 7, 13))
name: string;
>name : Symbol(C.name, Decl(genericClassExpressionInFunction.ts, 17, 41))
}
let b3Number = B3<number>();
>b3Number : Symbol(b3Number, Decl(genericClassExpressionInFunction.ts, 20, 3))
>B3 : Symbol(B3, Decl(genericClassExpressionInFunction.ts, 9, 1))
class S extends b3Number<string> {
>S : Symbol(S, Decl(genericClassExpressionInFunction.ts, 20, 28))
>b3Number : Symbol(b3Number, Decl(genericClassExpressionInFunction.ts, 20, 3))
nom: string;
>nom : Symbol(S.nom, Decl(genericClassExpressionInFunction.ts, 21, 34))
}
var c = new C();
>c : Symbol(c, Decl(genericClassExpressionInFunction.ts, 24, 3))
>C : Symbol(C, Decl(genericClassExpressionInFunction.ts, 16, 1))
var k = new K();
>k : Symbol(k, Decl(genericClassExpressionInFunction.ts, 25, 3))
>K : Symbol(K, Decl(genericClassExpressionInFunction.ts, 12, 1))
var s = new S();
>s : Symbol(s, Decl(genericClassExpressionInFunction.ts, 26, 3))
>S : Symbol(S, Decl(genericClassExpressionInFunction.ts, 20, 28))
c.genericVar = 12;
>c.genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
>c : Symbol(c, Decl(genericClassExpressionInFunction.ts, 24, 3))
>genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
k.genericVar = 12;
>k.genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
>k : Symbol(k, Decl(genericClassExpressionInFunction.ts, 25, 3))
>genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
s.genericVar = 12;
>s.genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
>s : Symbol(s, Decl(genericClassExpressionInFunction.ts, 26, 3))
>genericVar : Symbol(A.genericVar, Decl(genericClassExpressionInFunction.ts, 0, 12))
|
