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
92
93
94
95
96
97
98
99
|
=== tests/cases/compiler/typePredicateFreshLiteralWidening.ts ===
type Narrowable = string | number | bigint | boolean;
>Narrowable : Symbol(Narrowable, Decl(typePredicateFreshLiteralWidening.ts, 0, 0))
type Narrow<A> = (A extends Narrowable ? A : never) | ({
>Narrow : Symbol(Narrow, Decl(typePredicateFreshLiteralWidening.ts, 0, 53))
>A : Symbol(A, Decl(typePredicateFreshLiteralWidening.ts, 2, 12))
>A : Symbol(A, Decl(typePredicateFreshLiteralWidening.ts, 2, 12))
>Narrowable : Symbol(Narrowable, Decl(typePredicateFreshLiteralWidening.ts, 0, 0))
>A : Symbol(A, Decl(typePredicateFreshLiteralWidening.ts, 2, 12))
[K in keyof A]: Narrow<A[K]>;
>K : Symbol(K, Decl(typePredicateFreshLiteralWidening.ts, 3, 5))
>A : Symbol(A, Decl(typePredicateFreshLiteralWidening.ts, 2, 12))
>Narrow : Symbol(Narrow, Decl(typePredicateFreshLiteralWidening.ts, 0, 53))
>A : Symbol(A, Decl(typePredicateFreshLiteralWidening.ts, 2, 12))
>K : Symbol(K, Decl(typePredicateFreshLiteralWidening.ts, 3, 5))
});
const satisfies =
>satisfies : Symbol(satisfies, Decl(typePredicateFreshLiteralWidening.ts, 6, 5))
<TWide,>() =>
>TWide : Symbol(TWide, Decl(typePredicateFreshLiteralWidening.ts, 7, 3))
<TNarrow extends TWide>(narrow: Narrow<TNarrow>) =>
>TNarrow : Symbol(TNarrow, Decl(typePredicateFreshLiteralWidening.ts, 8, 3))
>TWide : Symbol(TWide, Decl(typePredicateFreshLiteralWidening.ts, 7, 3))
>narrow : Symbol(narrow, Decl(typePredicateFreshLiteralWidening.ts, 8, 26))
>Narrow : Symbol(Narrow, Decl(typePredicateFreshLiteralWidening.ts, 0, 53))
>TNarrow : Symbol(TNarrow, Decl(typePredicateFreshLiteralWidening.ts, 8, 3))
narrow;
>narrow : Symbol(narrow, Decl(typePredicateFreshLiteralWidening.ts, 8, 26))
/* ========================================================================== */
const isNotNull = <T,>(value: T | null): value is T => value !== null;
>isNotNull : Symbol(isNotNull, Decl(typePredicateFreshLiteralWidening.ts, 13, 5))
>T : Symbol(T, Decl(typePredicateFreshLiteralWidening.ts, 13, 19))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 13, 23))
>T : Symbol(T, Decl(typePredicateFreshLiteralWidening.ts, 13, 19))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 13, 23))
>T : Symbol(T, Decl(typePredicateFreshLiteralWidening.ts, 13, 19))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 13, 23))
type Item = { value: string | null };
>Item : Symbol(Item, Decl(typePredicateFreshLiteralWidening.ts, 13, 70))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 15, 13))
const item1 = satisfies<Item>()({ value: "1" });
>item1 : Symbol(item1, Decl(typePredicateFreshLiteralWidening.ts, 17, 5))
>satisfies : Symbol(satisfies, Decl(typePredicateFreshLiteralWidening.ts, 6, 5))
>Item : Symbol(Item, Decl(typePredicateFreshLiteralWidening.ts, 13, 70))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 17, 33))
const item2 = satisfies<Item>()({ value: "2" });
>item2 : Symbol(item2, Decl(typePredicateFreshLiteralWidening.ts, 18, 5))
>satisfies : Symbol(satisfies, Decl(typePredicateFreshLiteralWidening.ts, 6, 5))
>Item : Symbol(Item, Decl(typePredicateFreshLiteralWidening.ts, 13, 70))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 18, 33))
const item3 = satisfies<Item>()({ value: null });
>item3 : Symbol(item3, Decl(typePredicateFreshLiteralWidening.ts, 19, 5))
>satisfies : Symbol(satisfies, Decl(typePredicateFreshLiteralWidening.ts, 6, 5))
>Item : Symbol(Item, Decl(typePredicateFreshLiteralWidening.ts, 13, 70))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 19, 33))
const values2: Array<"1" | "2" | null> = ["1", "2", null];
>values2 : Symbol(values2, Decl(typePredicateFreshLiteralWidening.ts, 21, 5))
>Array : Symbol(Array, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
const filteredValues2 = values2.filter(isNotNull);
>filteredValues2 : Symbol(filteredValues2, Decl(typePredicateFreshLiteralWidening.ts, 22, 5))
>values2.filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>values2 : Symbol(values2, Decl(typePredicateFreshLiteralWidening.ts, 21, 5))
>filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>isNotNull : Symbol(isNotNull, Decl(typePredicateFreshLiteralWidening.ts, 13, 5))
const values1 = [item1, item2, item3].map(item => item.value);
>values1 : Symbol(values1, Decl(typePredicateFreshLiteralWidening.ts, 24, 5))
>[item1, item2, item3].map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>item1 : Symbol(item1, Decl(typePredicateFreshLiteralWidening.ts, 17, 5))
>item2 : Symbol(item2, Decl(typePredicateFreshLiteralWidening.ts, 18, 5))
>item3 : Symbol(item3, Decl(typePredicateFreshLiteralWidening.ts, 19, 5))
>map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
>item : Symbol(item, Decl(typePredicateFreshLiteralWidening.ts, 24, 42))
>item.value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 17, 33), Decl(typePredicateFreshLiteralWidening.ts, 18, 33), Decl(typePredicateFreshLiteralWidening.ts, 19, 33))
>item : Symbol(item, Decl(typePredicateFreshLiteralWidening.ts, 24, 42))
>value : Symbol(value, Decl(typePredicateFreshLiteralWidening.ts, 17, 33), Decl(typePredicateFreshLiteralWidening.ts, 18, 33), Decl(typePredicateFreshLiteralWidening.ts, 19, 33))
const filteredValues1 = values1.filter(isNotNull);
>filteredValues1 : Symbol(filteredValues1, Decl(typePredicateFreshLiteralWidening.ts, 25, 5))
>values1.filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>values1 : Symbol(values1, Decl(typePredicateFreshLiteralWidening.ts, 24, 5))
>filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>isNotNull : Symbol(isNotNull, Decl(typePredicateFreshLiteralWidening.ts, 13, 5))
|
