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
|
=== tests/cases/compiler/narrowingTypeofUndefined.ts ===
declare const a: { error: { prop: string }, result: undefined } | { error: undefined, result: { prop: number } }
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18))
>prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 27))
>result : Symbol(result, Decl(narrowingTypeofUndefined.ts, 0, 43))
>error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 67))
>result : Symbol(result, Decl(narrowingTypeofUndefined.ts, 0, 85))
>prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 95))
if (typeof a.error === 'undefined') {
>a.error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
a.result.prop; // number
>a.result.prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 95))
>a.result : Symbol(result, Decl(narrowingTypeofUndefined.ts, 0, 43), Decl(narrowingTypeofUndefined.ts, 0, 85))
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>result : Symbol(result, Decl(narrowingTypeofUndefined.ts, 0, 43), Decl(narrowingTypeofUndefined.ts, 0, 85))
>prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 95))
}
else {
a.error.prop; // string
>a.error.prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 27))
>a.error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
>prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 27))
}
if (typeof a.error !== 'undefined') {
>a.error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
a.error.prop; // string
>a.error.prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 27))
>a.error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>error : Symbol(error, Decl(narrowingTypeofUndefined.ts, 0, 18), Decl(narrowingTypeofUndefined.ts, 0, 67))
>prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 27))
}
else {
a.result.prop; // number
>a.result.prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 95))
>a.result : Symbol(result, Decl(narrowingTypeofUndefined.ts, 0, 43), Decl(narrowingTypeofUndefined.ts, 0, 85))
>a : Symbol(a, Decl(narrowingTypeofUndefined.ts, 0, 13))
>result : Symbol(result, Decl(narrowingTypeofUndefined.ts, 0, 43), Decl(narrowingTypeofUndefined.ts, 0, 85))
>prop : Symbol(prop, Decl(narrowingTypeofUndefined.ts, 0, 95))
}
|
