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
|
=== tests/cases/compiler/recursiveTypeParameterReferenceError1.ts ===
class X<T> { }
>X : X<T>
>T : T
interface Foo<T> {
>Foo : Foo<T>
>T : T
z: Foo<X<T>>; // error
>z : Foo<X<T>>
>Foo : Foo<T>
>X : X<T>
>T : T
}
var f: Foo<number>;
>f : Foo<number>
>Foo : Foo<T>
var r = f.z;
>r : Foo<X<number>>
>f.z : Foo<X<number>>
>f : Foo<number>
>z : Foo<X<number>>
class C2<T> {
>C2 : C2<T>
>T : T
x: T;
>x : T
>T : T
}
interface Foo2<T> {
>Foo2 : Foo2<T>
>T : T
ofC4: C2<{ x: T }> // ok
>ofC4 : C2<{ x: T; }>
>C2 : C2<T>
>x : T
>T : T
}
var f2: Foo2<number>;
>f2 : Foo2<number>
>Foo2 : Foo2<T>
var r2 = f2.ofC4;
>r2 : C2<{ x: number; }>
>f2.ofC4 : C2<{ x: number; }>
>f2 : Foo2<number>
>ofC4 : C2<{ x: number; }>
|
