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
|
=== tests/cases/conformance/types/intersection/intersectionOfUnionNarrowing.ts ===
interface X {
a?: { aProp: string };
>a : { aProp: string; } | undefined
>aProp : string
b?: { bProp: string };
>b : { bProp: string; } | undefined
>bProp : string
}
type AorB = { a: object; b: undefined } | { a: undefined; b: object };
>AorB : { a: object; b: undefined; } | { a: undefined; b: object; }
>a : object
>b : undefined
>a : undefined
>b : object
declare const q: X & AorB;
>q : X & AorB
if (q.a !== undefined) {
>q.a !== undefined : boolean
>q.a : ({ aProp: string; } & object) | undefined
>q : X & AorB
>a : ({ aProp: string; } & object) | undefined
>undefined : undefined
q.a.aProp;
>q.a.aProp : string
>q.a : { aProp: string; } & object
>q : X & { a: object; b: undefined; }
>a : { aProp: string; } & object
>aProp : string
} else {
// q.b is previously incorrectly inferred as potentially undefined
q.b.bProp;
>q.b.bProp : string
>q.b : { bProp: string; } & object
>q : X & { a: undefined; b: object; }
>b : { bProp: string; } & object
>bProp : string
}
|
