summaryrefslogtreecommitdiffstats
path: root/tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs')
-rw-r--r--tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs b/tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs
index 8429799ca..20a8d7549 100644
--- a/tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs
+++ b/tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs
@@ -1,6 +1,7 @@
#![deny(unreachable_patterns)]
// We wrap patterns in a tuple because top-level or-patterns were special-cased.
+#[rustfmt::skip]
fn main() {
match (0u8,) {
(1 | 2,) => {}
@@ -73,6 +74,11 @@ fn main() {
| 0] => {} //~ ERROR unreachable
_ => {}
}
+ match (true, 0) {
+ (true, 0 | 0) => {} //~ ERROR unreachable
+ (_, 0 | 0) => {} //~ ERROR unreachable
+ _ => {}
+ }
match &[][..] {
[0] => {}
[0, _] => {}
@@ -149,4 +155,8 @@ fn main() {
| true, //~ ERROR unreachable
false | true) => {}
}
+ match (true, true) {
+ (x, y)
+ | (y, x) => {} //~ ERROR unreachable
+ }
}