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
|
=== tests/cases/compiler/recursiveGenericUnionType2.ts ===
declare module Test1 {
>Test1 : Symbol(Test1, Decl(recursiveGenericUnionType2.ts, 0, 0))
export type Container<T> = T | {
>Container : Symbol(Container, Decl(recursiveGenericUnionType2.ts, 0, 22))
>T : Symbol(T, Decl(recursiveGenericUnionType2.ts, 1, 26))
>T : Symbol(T, Decl(recursiveGenericUnionType2.ts, 1, 26))
[i: string]: Container<T>[];
>i : Symbol(i, Decl(recursiveGenericUnionType2.ts, 2, 9))
>Container : Symbol(Container, Decl(recursiveGenericUnionType2.ts, 0, 22))
>T : Symbol(T, Decl(recursiveGenericUnionType2.ts, 1, 26))
};
export type IStringContainer = Container<string>;
>IStringContainer : Symbol(IStringContainer, Decl(recursiveGenericUnionType2.ts, 3, 6))
>Container : Symbol(Container, Decl(recursiveGenericUnionType2.ts, 0, 22))
}
declare module Test2 {
>Test2 : Symbol(Test2, Decl(recursiveGenericUnionType2.ts, 5, 1))
export type Container<T> = T | {
>Container : Symbol(Container, Decl(recursiveGenericUnionType2.ts, 7, 22))
>T : Symbol(T, Decl(recursiveGenericUnionType2.ts, 8, 26))
>T : Symbol(T, Decl(recursiveGenericUnionType2.ts, 8, 26))
[i: string]: Container<T>[];
>i : Symbol(i, Decl(recursiveGenericUnionType2.ts, 9, 9))
>Container : Symbol(Container, Decl(recursiveGenericUnionType2.ts, 7, 22))
>T : Symbol(T, Decl(recursiveGenericUnionType2.ts, 8, 26))
};
export type IStringContainer = Container<string>;
>IStringContainer : Symbol(IStringContainer, Decl(recursiveGenericUnionType2.ts, 10, 6))
>Container : Symbol(Container, Decl(recursiveGenericUnionType2.ts, 7, 22))
}
var x: Test1.Container<number>;
>x : Symbol(x, Decl(recursiveGenericUnionType2.ts, 14, 3))
>Test1 : Symbol(Test1, Decl(recursiveGenericUnionType2.ts, 0, 0))
>Container : Symbol(Test1.Container, Decl(recursiveGenericUnionType2.ts, 0, 22))
var s1: Test1.IStringContainer;
>s1 : Symbol(s1, Decl(recursiveGenericUnionType2.ts, 16, 3))
>Test1 : Symbol(Test1, Decl(recursiveGenericUnionType2.ts, 0, 0))
>IStringContainer : Symbol(Test1.IStringContainer, Decl(recursiveGenericUnionType2.ts, 3, 6))
var s2: Test2.IStringContainer;
>s2 : Symbol(s2, Decl(recursiveGenericUnionType2.ts, 17, 3))
>Test2 : Symbol(Test2, Decl(recursiveGenericUnionType2.ts, 5, 1))
>IStringContainer : Symbol(Test2.IStringContainer, Decl(recursiveGenericUnionType2.ts, 10, 6))
s1 = s2;
>s1 : Symbol(s1, Decl(recursiveGenericUnionType2.ts, 16, 3))
>s2 : Symbol(s2, Decl(recursiveGenericUnionType2.ts, 17, 3))
s2 = s1;
>s2 : Symbol(s2, Decl(recursiveGenericUnionType2.ts, 17, 3))
>s1 : Symbol(s1, Decl(recursiveGenericUnionType2.ts, 16, 3))
|
