File: controlFlowFavorAssertedTypeThroughTypePredicate.ts

package info (click to toggle)
node-typescript 4.9.5%2Bds1-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 533,908 kB
  • sloc: javascript: 2,018,330; makefile: 7; sh: 1
file content (40 lines) | stat: -rw-r--r-- 765 bytes parent folder | download | duplicates (3)
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
// @noEmit: true
// @strict: true

// repro 49988#issuecomment-1192016929

declare function isObject1(value: unknown): value is Record<string, unknown>;

declare const obj1: {};
if (isObject1(obj1)) {
    obj1;
    obj1['attr'];
}
// check type after conditional block
obj1;

declare const obj2: {} | undefined;
if (isObject1(obj2)) {
    obj2;
    obj2['attr'];
}
// check type after conditional block
obj2;

declare function isObject2(value: unknown): value is {};

declare const obj3: Record<string, unknown>;
if (isObject2(obj3)) {
    obj3;
    obj3['attr'];
}
// check type after conditional block
obj3;

declare const obj4: Record<string, unknown> | undefined;
if (isObject2(obj4)) {
    obj4;
    obj4['attr'];
}
// check type after conditional block
obj4;