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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
|
=== tests/cases/compiler/narrowingUnionWithBang.ts ===
type WorkingType = {
>WorkingType : { thing?: { name: 'Error1'; message: string; } | { name: 'Error2'; message: string; } | { name: 'Error3'; message: string; } | { name: 'Error4'; message: string; } | { name: 'Error5'; message: string; } | { name: 'Error6'; message: string; } | { name: 'Error7'; message: string; } | { name: 'Error8'; message: string; } | { name: 'Error9'; message: string; } | { name: 'Correct'; id: string; } | undefined; }
thing?:
>thing : { name: 'Error1'; message: string; } | { name: 'Error2'; message: string; } | { name: 'Error3'; message: string; } | { name: 'Error4'; message: string; } | { name: 'Error5'; message: string; } | { name: 'Error6'; message: string; } | { name: 'Error7'; message: string; } | { name: 'Error8'; message: string; } | { name: 'Error9'; message: string; } | { name: 'Correct'; id: string; } | undefined
{ name: 'Error1', message: string } |
>name : "Error1"
>message : string
{ name: 'Error2', message: string } |
>name : "Error2"
>message : string
{ name: 'Error3', message: string } |
>name : "Error3"
>message : string
{ name: 'Error4', message: string } |
>name : "Error4"
>message : string
{ name: 'Error5', message: string } |
>name : "Error5"
>message : string
{ name: 'Error6', message: string } |
>name : "Error6"
>message : string
{ name: 'Error7', message: string } |
>name : "Error7"
>message : string
{ name: 'Error8', message: string } |
>name : "Error8"
>message : string
{ name: 'Error9', message: string } |
>name : "Error9"
>message : string
{ name: 'Correct', id: string }
>name : "Correct"
>id : string
};
const working: WorkingType = null as unknown as WorkingType;
>working : WorkingType
>null as unknown as WorkingType : WorkingType
>null as unknown : unknown
>null : null
if (working.thing!.name !== "Correct") {
>working.thing!.name !== "Correct" : boolean
>working.thing!.name : "Error1" | "Error2" | "Error3" | "Error4" | "Error5" | "Error6" | "Error7" | "Error8" | "Error9" | "Correct"
>working.thing! : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Error9"; message: string; } | { name: "Correct"; id: string; }
>working.thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Error9"; message: string; } | { name: "Correct"; id: string; } | undefined
>working : WorkingType
>thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Error9"; message: string; } | { name: "Correct"; id: string; } | undefined
>name : "Error1" | "Error2" | "Error3" | "Error4" | "Error5" | "Error6" | "Error7" | "Error8" | "Error9" | "Correct"
>"Correct" : "Correct"
console.log(working.thing!.message)
>console.log(working.thing!.message) : void
>console.log : (...data: any[]) => void
>console : Console
>log : (...data: any[]) => void
>working.thing!.message : string
>working.thing! : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Error9"; message: string; }
>working.thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Error9"; message: string; } | undefined
>working : WorkingType
>thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Error9"; message: string; } | undefined
>message : string
} else {
console.log(working.thing!.id);
>console.log(working.thing!.id) : void
>console.log : (...data: any[]) => void
>console : Console
>log : (...data: any[]) => void
>working.thing!.id : string
>working.thing! : { name: "Correct"; id: string; }
>working.thing : { name: "Correct"; id: string; }
>working : WorkingType
>thing : { name: "Correct"; id: string; }
>id : string
}
type BorkedType = {
>BorkedType : { thing?: { name: 'Error1'; message: string; } | { name: 'Error2'; message: string; } | { name: 'Error3'; message: string; } | { name: 'Error4'; message: string; } | { name: 'Error5'; message: string; } | { name: 'Error6'; message: string; } | { name: 'Error7'; message: string; } | { name: 'Error8'; message: string; } | { name: 'Correct'; id: string; } | undefined; }
thing?:
>thing : { name: 'Error1'; message: string; } | { name: 'Error2'; message: string; } | { name: 'Error3'; message: string; } | { name: 'Error4'; message: string; } | { name: 'Error5'; message: string; } | { name: 'Error6'; message: string; } | { name: 'Error7'; message: string; } | { name: 'Error8'; message: string; } | { name: 'Correct'; id: string; } | undefined
{ name: 'Error1', message: string } |
>name : "Error1"
>message : string
{ name: 'Error2', message: string } |
>name : "Error2"
>message : string
{ name: 'Error3', message: string } |
>name : "Error3"
>message : string
{ name: 'Error4', message: string } |
>name : "Error4"
>message : string
{ name: 'Error5', message: string } |
>name : "Error5"
>message : string
{ name: 'Error6', message: string } |
>name : "Error6"
>message : string
{ name: 'Error7', message: string } |
>name : "Error7"
>message : string
{ name: 'Error8', message: string } |
>name : "Error8"
>message : string
{ name: 'Correct', id: string }
>name : "Correct"
>id : string
};
const borked: BorkedType = null as unknown as BorkedType;
>borked : BorkedType
>null as unknown as BorkedType : BorkedType
>null as unknown : unknown
>null : null
if (borked.thing!.name !== "Correct") {
>borked.thing!.name !== "Correct" : boolean
>borked.thing!.name : "Error1" | "Error2" | "Error3" | "Error4" | "Error5" | "Error6" | "Error7" | "Error8" | "Correct"
>borked.thing! : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Correct"; id: string; }
>borked.thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Correct"; id: string; } | undefined
>borked : BorkedType
>thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Correct"; id: string; } | undefined
>name : "Error1" | "Error2" | "Error3" | "Error4" | "Error5" | "Error6" | "Error7" | "Error8" | "Correct"
>"Correct" : "Correct"
console.log(borked.thing!.message);
>console.log(borked.thing!.message) : void
>console.log : (...data: any[]) => void
>console : Console
>log : (...data: any[]) => void
>borked.thing!.message : string
>borked.thing! : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; }
>borked.thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | undefined
>borked : BorkedType
>thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | undefined
>message : string
} else {
console.log(borked.thing!.id);
>console.log(borked.thing!.id) : void
>console.log : (...data: any[]) => void
>console : Console
>log : (...data: any[]) => void
>borked.thing!.id : string
>borked.thing! : { name: "Correct"; id: string; }
>borked.thing : { name: "Correct"; id: string; } | undefined
>borked : BorkedType
>thing : { name: "Correct"; id: string; } | undefined
>id : string
}
export type FixedType = {
>FixedType : { thing?: { name: 'Error1'; message: string; } | { name: 'Error2'; message: string; } | { name: 'Error3'; message: string; } | { name: 'Error4'; message: string; } | { name: 'Error5'; message: string; } | { name: 'Error6'; message: string; } | { name: 'Error7'; message: string; } | { name: 'Error8'; message: string; } | { name: 'Correct'; id: string; } | undefined; }
thing?:
>thing : { name: 'Error1'; message: string; } | { name: 'Error2'; message: string; } | { name: 'Error3'; message: string; } | { name: 'Error4'; message: string; } | { name: 'Error5'; message: string; } | { name: 'Error6'; message: string; } | { name: 'Error7'; message: string; } | { name: 'Error8'; message: string; } | { name: 'Correct'; id: string; } | undefined
{ name: 'Error1', message: string } |
>name : "Error1"
>message : string
{ name: 'Error2', message: string } |
>name : "Error2"
>message : string
{ name: 'Error3', message: string } |
>name : "Error3"
>message : string
{ name: 'Error4', message: string } |
>name : "Error4"
>message : string
{ name: 'Error5', message: string } |
>name : "Error5"
>message : string
{ name: 'Error6', message: string } |
>name : "Error6"
>message : string
{ name: 'Error7', message: string } |
>name : "Error7"
>message : string
{ name: 'Error8', message: string } |
>name : "Error8"
>message : string
{ name: 'Correct', id: string }
>name : "Correct"
>id : string
};
const fixed: FixedType = null as unknown as FixedType;
>fixed : FixedType
>null as unknown as FixedType : FixedType
>null as unknown : unknown
>null : null
if (fixed.thing?.name !== "Correct") {
>fixed.thing?.name !== "Correct" : boolean
>fixed.thing?.name : "Error1" | "Error2" | "Error3" | "Error4" | "Error5" | "Error6" | "Error7" | "Error8" | "Correct" | undefined
>fixed.thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Correct"; id: string; } | undefined
>fixed : FixedType
>thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | { name: "Correct"; id: string; } | undefined
>name : "Error1" | "Error2" | "Error3" | "Error4" | "Error5" | "Error6" | "Error7" | "Error8" | "Correct" | undefined
>"Correct" : "Correct"
console.log(fixed.thing!.message);
>console.log(fixed.thing!.message) : void
>console.log : (...data: any[]) => void
>console : Console
>log : (...data: any[]) => void
>fixed.thing!.message : string
>fixed.thing! : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; }
>fixed.thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | undefined
>fixed : FixedType
>thing : { name: "Error1"; message: string; } | { name: "Error2"; message: string; } | { name: "Error3"; message: string; } | { name: "Error4"; message: string; } | { name: "Error5"; message: string; } | { name: "Error6"; message: string; } | { name: "Error7"; message: string; } | { name: "Error8"; message: string; } | undefined
>message : string
} else {
console.log(fixed.thing.id);
>console.log(fixed.thing.id) : void
>console.log : (...data: any[]) => void
>console : Console
>log : (...data: any[]) => void
>fixed.thing.id : string
>fixed.thing : { name: "Correct"; id: string; }
>fixed : FixedType
>thing : { name: "Correct"; id: string; }
>id : string
}
|
