Skip to content

Commit 844f173

Browse files
NadrierilNadrieril
committed
Run the empty_types tests with never_patterns too
1 parent 0fa7fea commit 844f173

5 files changed

+880
-187
lines changed

‎tests/ui/pattern/usefulness/empty-types.exhaustive_patterns.stderr

+50-50
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
error: unreachable pattern
2-
--> $DIR/empty-types.rs:49:9
2+
--> $DIR/empty-types.rs:51:9
33
|
44
LL | _ => {}
55
| ^
66
|
77
note: the lint level is defined here
8-
--> $DIR/empty-types.rs:15:9
8+
--> $DIR/empty-types.rs:17:9
99
|
1010
LL | #![deny(unreachable_patterns)]
1111
| ^^^^^^^^^^^^^^^^^^^^
1212

1313
error: unreachable pattern
14-
--> $DIR/empty-types.rs:52:9
14+
--> $DIR/empty-types.rs:54:9
1515
|
1616
LL | _x => {}
1717
| ^^
1818

1919
error[E0004]: non-exhaustive patterns: type `&!` is non-empty
20-
--> $DIR/empty-types.rs:56:11
20+
--> $DIR/empty-types.rs:58:11
2121
|
2222
LL | match ref_never {}
2323
| ^^^^^^^^^
@@ -32,31 +32,31 @@ LL + }
3232
|
3333

3434
error: unreachable pattern
35-
--> $DIR/empty-types.rs:71:9
35+
--> $DIR/empty-types.rs:73:9
3636
|
3737
LL | (_, _) => {}
3838
| ^^^^^^
3939

4040
error: unreachable pattern
41-
--> $DIR/empty-types.rs:78:9
41+
--> $DIR/empty-types.rs:80:9
4242
|
4343
LL | _ => {}
4444
| ^
4545

4646
error: unreachable pattern
47-
--> $DIR/empty-types.rs:81:9
47+
--> $DIR/empty-types.rs:83:9
4848
|
4949
LL | (_, _) => {}
5050
| ^^^^^^
5151

5252
error: unreachable pattern
53-
--> $DIR/empty-types.rs:85:9
53+
--> $DIR/empty-types.rs:87:9
5454
|
5555
LL | _ => {}
5656
| ^
5757

5858
error[E0004]: non-exhaustive patterns: `Ok(_)` not covered
59-
--> $DIR/empty-types.rs:89:11
59+
--> $DIR/empty-types.rs:91:11
6060
|
6161
LL | match res_u32_never {}
6262
| ^^^^^^^^^^^^^ pattern `Ok(_)` not covered
@@ -75,19 +75,19 @@ LL + }
7575
|
7676

7777
error: unreachable pattern
78-
--> $DIR/empty-types.rs:97:9
78+
--> $DIR/empty-types.rs:99:9
7979
|
8080
LL | Err(_) => {}
8181
| ^^^^^^
8282

8383
error: unreachable pattern
84-
--> $DIR/empty-types.rs:102:9
84+
--> $DIR/empty-types.rs:104:9
8585
|
8686
LL | Err(_) => {}
8787
| ^^^^^^
8888

8989
error[E0004]: non-exhaustive patterns: `Ok(1_u32..=u32::MAX)` not covered
90-
--> $DIR/empty-types.rs:99:11
90+
--> $DIR/empty-types.rs:101:11
9191
|
9292
LL | match res_u32_never {
9393
| ^^^^^^^^^^^^^ pattern `Ok(1_u32..=u32::MAX)` not covered
@@ -105,7 +105,7 @@ LL ~ Ok(1_u32..=u32::MAX) => todo!()
105105
|
106106

107107
error[E0005]: refutable pattern in local binding
108-
--> $DIR/empty-types.rs:106:9
108+
--> $DIR/empty-types.rs:108:9
109109
|
110110
LL | let Ok(_x) = res_u32_never.as_ref();
111111
| ^^^^^^ pattern `Err(_)` not covered
@@ -119,121 +119,121 @@ LL | let Ok(_x) = res_u32_never.as_ref() else { todo!() };
119119
| ++++++++++++++++
120120

121121
error: unreachable pattern
122-
--> $DIR/empty-types.rs:117:9
122+
--> $DIR/empty-types.rs:119:9
123123
|
124124
LL | _ => {}
125125
| ^
126126

127127
error: unreachable pattern
128-
--> $DIR/empty-types.rs:121:9
128+
--> $DIR/empty-types.rs:123:9
129129
|
130130
LL | Ok(_) => {}
131131
| ^^^^^
132132

133133
error: unreachable pattern
134-
--> $DIR/empty-types.rs:124:9
134+
--> $DIR/empty-types.rs:126:9
135135
|
136136
LL | Ok(_) => {}
137137
| ^^^^^
138138

139139
error: unreachable pattern
140-
--> $DIR/empty-types.rs:125:9
140+
--> $DIR/empty-types.rs:127:9
141141
|
142142
LL | _ => {}
143143
| ^
144144

145145
error: unreachable pattern
146-
--> $DIR/empty-types.rs:128:9
146+
--> $DIR/empty-types.rs:130:9
147147
|
148148
LL | Ok(_) => {}
149149
| ^^^^^
150150

151151
error: unreachable pattern
152-
--> $DIR/empty-types.rs:129:9
152+
--> $DIR/empty-types.rs:131:9
153153
|
154154
LL | Err(_) => {}
155155
| ^^^^^^
156156

157157
error: unreachable pattern
158-
--> $DIR/empty-types.rs:138:13
158+
--> $DIR/empty-types.rs:140:13
159159
|
160160
LL | _ => {}
161161
| ^
162162

163163
error: unreachable pattern
164-
--> $DIR/empty-types.rs:141:13
164+
--> $DIR/empty-types.rs:143:13
165165
|
166166
LL | _ if false => {}
167167
| ^
168168

169169
error: unreachable pattern
170-
--> $DIR/empty-types.rs:150:13
170+
--> $DIR/empty-types.rs:152:13
171171
|
172172
LL | Some(_) => {}
173173
| ^^^^^^^
174174

175175
error: unreachable pattern
176-
--> $DIR/empty-types.rs:154:13
176+
--> $DIR/empty-types.rs:156:13
177177
|
178178
LL | _ => {}
179179
| ^
180180

181181
error: unreachable pattern
182-
--> $DIR/empty-types.rs:206:13
182+
--> $DIR/empty-types.rs:208:13
183183
|
184184
LL | _ => {}
185185
| ^
186186

187187
error: unreachable pattern
188-
--> $DIR/empty-types.rs:211:13
188+
--> $DIR/empty-types.rs:213:13
189189
|
190190
LL | _ => {}
191191
| ^
192192

193193
error: unreachable pattern
194-
--> $DIR/empty-types.rs:216:13
194+
--> $DIR/empty-types.rs:218:13
195195
|
196196
LL | _ => {}
197197
| ^
198198

199199
error: unreachable pattern
200-
--> $DIR/empty-types.rs:221:13
200+
--> $DIR/empty-types.rs:223:13
201201
|
202202
LL | _ => {}
203203
| ^
204204

205205
error: unreachable pattern
206-
--> $DIR/empty-types.rs:227:13
206+
--> $DIR/empty-types.rs:229:13
207207
|
208208
LL | _ => {}
209209
| ^
210210

211211
error: unreachable pattern
212-
--> $DIR/empty-types.rs:286:9
212+
--> $DIR/empty-types.rs:288:9
213213
|
214214
LL | _ => {}
215215
| ^
216216

217217
error: unreachable pattern
218-
--> $DIR/empty-types.rs:289:9
218+
--> $DIR/empty-types.rs:291:9
219219
|
220220
LL | (_, _) => {}
221221
| ^^^^^^
222222

223223
error: unreachable pattern
224-
--> $DIR/empty-types.rs:292:9
224+
--> $DIR/empty-types.rs:294:9
225225
|
226226
LL | Ok(_) => {}
227227
| ^^^^^
228228

229229
error: unreachable pattern
230-
--> $DIR/empty-types.rs:293:9
230+
--> $DIR/empty-types.rs:295:9
231231
|
232232
LL | Err(_) => {}
233233
| ^^^^^^
234234

235235
error[E0004]: non-exhaustive patterns: type `&[!]` is non-empty
236-
--> $DIR/empty-types.rs:325:11
236+
--> $DIR/empty-types.rs:327:11
237237
|
238238
LL | match slice_never {}
239239
| ^^^^^^^^^^^
@@ -247,7 +247,7 @@ LL + }
247247
|
248248

249249
error[E0004]: non-exhaustive patterns: `&[]` not covered
250-
--> $DIR/empty-types.rs:336:11
250+
--> $DIR/empty-types.rs:338:11
251251
|
252252
LL | match slice_never {
253253
| ^^^^^^^^^^^ pattern `&[]` not covered
@@ -260,7 +260,7 @@ LL + &[] => todo!()
260260
|
261261

262262
error[E0004]: non-exhaustive patterns: `&[]` not covered
263-
--> $DIR/empty-types.rs:349:11
263+
--> $DIR/empty-types.rs:352:11
264264
|
265265
LL | match slice_never {
266266
| ^^^^^^^^^^^ pattern `&[]` not covered
@@ -274,7 +274,7 @@ LL + &[] => todo!()
274274
|
275275

276276
error[E0004]: non-exhaustive patterns: type `[!]` is non-empty
277-
--> $DIR/empty-types.rs:355:11
277+
--> $DIR/empty-types.rs:359:11
278278
|
279279
LL | match *slice_never {}
280280
| ^^^^^^^^^^^^
@@ -288,25 +288,25 @@ LL + }
288288
|
289289

290290
error: unreachable pattern
291-
--> $DIR/empty-types.rs:365:9
291+
--> $DIR/empty-types.rs:369:9
292292
|
293293
LL | _ => {}
294294
| ^
295295

296296
error: unreachable pattern
297-
--> $DIR/empty-types.rs:368:9
297+
--> $DIR/empty-types.rs:372:9
298298
|
299299
LL | [_, _, _] => {}
300300
| ^^^^^^^^^
301301

302302
error: unreachable pattern
303-
--> $DIR/empty-types.rs:371:9
303+
--> $DIR/empty-types.rs:375:9
304304
|
305305
LL | [_, ..] => {}
306306
| ^^^^^^^
307307

308308
error[E0004]: non-exhaustive patterns: type `[!; 0]` is non-empty
309-
--> $DIR/empty-types.rs:385:11
309+
--> $DIR/empty-types.rs:389:11
310310
|
311311
LL | match array_0_never {}
312312
| ^^^^^^^^^^^^^
@@ -320,13 +320,13 @@ LL + }
320320
|
321321

322322
error: unreachable pattern
323-
--> $DIR/empty-types.rs:392:9
323+
--> $DIR/empty-types.rs:396:9
324324
|
325325
LL | _ => {}
326326
| ^
327327

328328
error[E0004]: non-exhaustive patterns: `[]` not covered
329-
--> $DIR/empty-types.rs:394:11
329+
--> $DIR/empty-types.rs:398:11
330330
|
331331
LL | match array_0_never {
332332
| ^^^^^^^^^^^^^ pattern `[]` not covered
@@ -340,49 +340,49 @@ LL + [] => todo!()
340340
|
341341

342342
error: unreachable pattern
343-
--> $DIR/empty-types.rs:413:9
343+
--> $DIR/empty-types.rs:417:9
344344
|
345345
LL | Some(_) => {}
346346
| ^^^^^^^
347347

348348
error: unreachable pattern
349-
--> $DIR/empty-types.rs:418:9
349+
--> $DIR/empty-types.rs:422:9
350350
|
351351
LL | Some(_a) => {}
352352
| ^^^^^^^^
353353

354354
error: unreachable pattern
355-
--> $DIR/empty-types.rs:423:9
355+
--> $DIR/empty-types.rs:427:9
356356
|
357357
LL | _ => {}
358358
| ^
359359

360360
error: unreachable pattern
361-
--> $DIR/empty-types.rs:428:9
361+
--> $DIR/empty-types.rs:432:9
362362
|
363363
LL | _a => {}
364364
| ^^
365365

366366
error: unreachable pattern
367-
--> $DIR/empty-types.rs:600:9
367+
--> $DIR/empty-types.rs:604:9
368368
|
369369
LL | _ => {}
370370
| ^
371371

372372
error: unreachable pattern
373-
--> $DIR/empty-types.rs:603:9
373+
--> $DIR/empty-types.rs:607:9
374374
|
375375
LL | _x => {}
376376
| ^^
377377

378378
error: unreachable pattern
379-
--> $DIR/empty-types.rs:606:9
379+
--> $DIR/empty-types.rs:610:9
380380
|
381381
LL | _ if false => {}
382382
| ^
383383

384384
error: unreachable pattern
385-
--> $DIR/empty-types.rs:609:9
385+
--> $DIR/empty-types.rs:613:9
386386
|
387387
LL | _x if false => {}
388388
| ^^

0 commit comments

Comments
 (0)