Skip to content

Commit ffce4fb

Browse files
committed
Update uninhabited matches tests
1 parent 88afbf2 commit ffce4fb

File tree

2 files changed

+3
-27
lines changed

2 files changed

+3
-27
lines changed

src/test/ui/uninhabited/uninhabited-matches-feature-gated.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -20,10 +20,10 @@ fn main() {
2020
let _ = match x {}; //~ ERROR non-exhaustive
2121

2222
let x: (Void,) = unsafe { std::mem::uninitialized() };
23-
let _ = match x {}; //~ ERROR non-exhaustive
23+
let _ = match x {}; // okay
2424

2525
let x: [Void; 1] = unsafe { std::mem::uninitialized() };
26-
let _ = match x {}; //~ ERROR non-exhaustive
26+
let _ = match x {}; // okay
2727

2828
let x: &[Void] = unsafe { std::mem::uninitialized() };
2929
let _ = match x { //~ ERROR non-exhaustive

src/test/ui/uninhabited/uninhabited-matches-feature-gated.stderr

+1-25
Original file line numberDiff line numberDiff line change
@@ -16,30 +16,6 @@ help: ensure that all possible cases are being handled, possibly by adding wildc
1616
LL | let _ = match x {}; //~ ERROR non-exhaustive
1717
| ^
1818

19-
error[E0004]: non-exhaustive patterns: type `(Void,)` is non-empty
20-
--> $DIR/uninhabited-matches-feature-gated.rs:23:19
21-
|
22-
LL | let _ = match x {}; //~ ERROR non-exhaustive
23-
| ^
24-
|
25-
help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
26-
--> $DIR/uninhabited-matches-feature-gated.rs:23:19
27-
|
28-
LL | let _ = match x {}; //~ ERROR non-exhaustive
29-
| ^
30-
31-
error[E0004]: non-exhaustive patterns: type `[Void; 1]` is non-empty
32-
--> $DIR/uninhabited-matches-feature-gated.rs:26:19
33-
|
34-
LL | let _ = match x {}; //~ ERROR non-exhaustive
35-
| ^
36-
|
37-
help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
38-
--> $DIR/uninhabited-matches-feature-gated.rs:26:19
39-
|
40-
LL | let _ = match x {}; //~ ERROR non-exhaustive
41-
| ^
42-
4319
error[E0004]: non-exhaustive patterns: `&[_]` not covered
4420
--> $DIR/uninhabited-matches-feature-gated.rs:29:19
4521
|
@@ -58,7 +34,7 @@ error[E0005]: refutable pattern in local binding: `Err(_)` not covered
5834
LL | let Ok(x) = x;
5935
| ^^^^^ pattern `Err(_)` not covered
6036

61-
error: aborting due to 7 previous errors
37+
error: aborting due to 5 previous errors
6238

6339
Some errors occurred: E0004, E0005.
6440
For more information about an error, try `rustc --explain E0004`.

0 commit comments

Comments
 (0)