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/compiler/nestedInfinitelyExpandedRecursiveTypes.ts ===
interface F<T> {
>F : F<T>
>T : T
t: G<F<() => T>>;
>t : G<F<() => T>>
>G : G<U>
>F : F<T>
>T : T
}
interface G<U> {
>G : G<U>
>U : U
t: G<G<() => U>>;
>t : G<G<() => U>>
>G : G<U>
>G : G<U>
>U : U
}
var f: F<string>;
>f : F<string>
>F : F<T>
var g: G<string>;
>g : G<string>
>G : G<U>
f = g;
>f = g : G<string>
>f : F<string>
>g : G<string>
g = f;
>g = f : F<string>
>g : G<string>
>f : F<string>
|
