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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
=== tests/cases/compiler/controlFlowFavorAssertedTypeThroughTypePredicate.ts ===
// repro 49988#issuecomment-1192016929
declare function isObject1(value: unknown): value is Record<string, unknown>;
>isObject1 : (value: unknown) => value is Record<string, unknown>
>value : unknown
declare const obj1: {};
>obj1 : {}
if (isObject1(obj1)) {
>isObject1(obj1) : boolean
>isObject1 : (value: unknown) => value is Record<string, unknown>
>obj1 : {}
obj1;
>obj1 : Record<string, unknown>
obj1['attr'];
>obj1['attr'] : unknown
>obj1 : Record<string, unknown>
>'attr' : "attr"
}
// check type after conditional block
obj1;
>obj1 : {}
declare const obj2: {} | undefined;
>obj2 : {} | undefined
if (isObject1(obj2)) {
>isObject1(obj2) : boolean
>isObject1 : (value: unknown) => value is Record<string, unknown>
>obj2 : {} | undefined
obj2;
>obj2 : Record<string, unknown>
obj2['attr'];
>obj2['attr'] : unknown
>obj2 : Record<string, unknown>
>'attr' : "attr"
}
// check type after conditional block
obj2;
>obj2 : {} | undefined
declare function isObject2(value: unknown): value is {};
>isObject2 : (value: unknown) => value is {}
>value : unknown
declare const obj3: Record<string, unknown>;
>obj3 : Record<string, unknown>
if (isObject2(obj3)) {
>isObject2(obj3) : boolean
>isObject2 : (value: unknown) => value is {}
>obj3 : Record<string, unknown>
obj3;
>obj3 : Record<string, unknown>
obj3['attr'];
>obj3['attr'] : unknown
>obj3 : Record<string, unknown>
>'attr' : "attr"
}
// check type after conditional block
obj3;
>obj3 : Record<string, unknown>
declare const obj4: Record<string, unknown> | undefined;
>obj4 : Record<string, unknown> | undefined
if (isObject2(obj4)) {
>isObject2(obj4) : boolean
>isObject2 : (value: unknown) => value is {}
>obj4 : Record<string, unknown> | undefined
obj4;
>obj4 : Record<string, unknown>
obj4['attr'];
>obj4['attr'] : unknown
>obj4 : Record<string, unknown>
>'attr' : "attr"
}
// check type after conditional block
obj4;
>obj4 : Record<string, unknown> | undefined
|
