1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
=== tests/cases/compiler/unionTypeWithRecursiveSubtypeReduction3.ts ===
var a27: { prop: number } | { prop: T27 };
>a27 : Symbol(a27, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 3))
>prop : Symbol(prop, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 10))
>prop : Symbol(prop, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 29))
>T27 : Symbol(T27, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 42))
type T27 = typeof a27;
>T27 : Symbol(T27, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 42))
>a27 : Symbol(a27, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 3))
var b: T27;
>b : Symbol(b, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 3, 3))
>T27 : Symbol(T27, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 0, 42))
var s: string = b;
>s : Symbol(s, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 4, 3))
>b : Symbol(b, Decl(unionTypeWithRecursiveSubtypeReduction3.ts, 3, 3))
|
