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
|
=== tests/cases/compiler/recursiveGenericUnionType2.ts ===
declare module Test1 {
>Test1 : any
export type Container<T> = T | {
>Container : Container<T>
>T : T
>T : T
[i: string]: Container<T>[];
>i : string
>Container : Container<T>
>T : T
};
export type IStringContainer = Container<string>;
>IStringContainer : Container<string>
>Container : Container<T>
}
declare module Test2 {
>Test2 : any
export type Container<T> = T | {
>Container : Container<T>
>T : T
>T : T
[i: string]: Container<T>[];
>i : string
>Container : Container<T>
>T : T
};
export type IStringContainer = Container<string>;
>IStringContainer : Container<string>
>Container : Container<T>
}
var x: Test1.Container<number>;
>x : Test1.Container<number>
>Test1 : any
>Container : Test1.Container<T>
var s1: Test1.IStringContainer;
>s1 : Test1.Container<string>
>Test1 : any
>IStringContainer : Test1.Container<string>
var s2: Test2.IStringContainer;
>s2 : Test2.Container<string>
>Test2 : any
>IStringContainer : Test2.Container<string>
s1 = s2;
>s1 = s2 : Test2.Container<string>
>s1 : Test1.Container<string>
>s2 : Test2.Container<string>
s2 = s1;
>s2 = s1 : Test1.Container<string>
>s2 : Test2.Container<string>
>s1 : Test1.Container<string>
|
