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
65
66
67
68
69
70
71
72
73
74
|
=== tests/cases/compiler/discriminatingUnionWithUnionPropertyAgainstUndefinedWithoutStrictNullChecks.ts ===
// strictNullChecks: false
// repro #49643
interface A {}
interface B {}
declare let opts:
>opts : { objectRef?: undefined; getObjectRef: () => any; } | { objectRef: A | B; getObjectRef?: undefined; }
| { objectRef?: undefined; getObjectRef: () => any }
>objectRef : undefined
>getObjectRef : () => any
| { objectRef: A | B; getObjectRef?: undefined };
>objectRef : A | B
>getObjectRef : undefined
opts.objectRef || opts.getObjectRef();
>opts.objectRef || opts.getObjectRef() : any
>opts.objectRef : A | B
>opts : { objectRef?: undefined; getObjectRef: () => any; } | { objectRef: A | B; getObjectRef?: undefined; }
>objectRef : A | B
>opts.getObjectRef() : any
>opts.getObjectRef : () => any
>opts : { objectRef?: undefined; getObjectRef: () => any; } | { objectRef: A | B; getObjectRef?: undefined; }
>getObjectRef : () => any
// repro #49643 issuecomment-1174455723
interface X {
foo: string;
>foo : string
}
interface Y {
baz: number;
>baz : number
}
interface A2 {
result: unknown;
>result : unknown
error: undefined;
>error : undefined
}
interface B2 {
error: X | Y;
>error : X | Y
}
const testMethod = (m: A2 | B2) => {
>testMethod : (m: A2 | B2) => void
>(m: A2 | B2) => { if (m.error) { m; // should be A2 | B2 } else { m; // should be A2 | B2 }} : (m: A2 | B2) => void
>m : A2 | B2
if (m.error) {
>m.error : X | Y
>m : A2 | B2
>error : X | Y
m; // should be A2 | B2
>m : A2 | B2
} else {
m; // should be A2 | B2
>m : A2 | B2
}
}
|
