about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/test/compile-fail/or-patterns.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/compile-fail/or-patterns.rs b/src/test/compile-fail/or-patterns.rs
index e1b5dce852d..fb243f24328 100644
--- a/src/test/compile-fail/or-patterns.rs
+++ b/src/test/compile-fail/or-patterns.rs
@@ -42,4 +42,15 @@ fn main() {
         (2 | 1, 4) => {} //~ ERROR unreachable pattern
         _ => {}
     }
+    match (Some(0u8),) {
+        (None | Some(1 | 2),) => {}
+        (Some(1),) => {} //~ ERROR unreachable pattern
+        (None,) => {} //~ ERROR unreachable pattern
+        (Some(_),) => {}
+    }
+    match ((0u8,),) {
+        ((1 | 2,) | (3 | 4,),) => {},
+        ((1..=4,),) => {}, //~ ERROR unreachable pattern
+        ((_,),) => {},
+    }
 }