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
|
=== tests/cases/conformance/types/typeRelationships/recursiveTypes/recursiveTypeInGenericConstraint.ts ===
class G<T> {
>G : G<T>
>T : T
x: G<G<T>>; // infinitely expanding type reference
>x : G<G<T>>
>G : G<T>
>G : G<T>
>T : T
}
class Foo<T extends G<T>> { // error, constraint referencing itself
>Foo : Foo<T>
>T : T
>G : G<T>
>T : T
bar: T;
>bar : T
>T : T
}
class D<T> {
>D : D<T>
>T : T
x: G<G<T>>;
>x : G<G<T>>
>G : G<T>
>G : G<T>
>T : T
}
var c1 = new Foo<D<string>>(); // ok, circularity in assignment compat check causes success
>c1 : Foo<D<string>>
>new Foo<D<string>>() : Foo<D<string>>
>Foo : typeof Foo
>D : D<T>
|
