summaryrefslogtreecommitdiffstats
path: root/tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-19 09:26:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-19 09:26:03 +0000
commit9918693037dce8aa4bb6f08741b6812923486c18 (patch)
tree21d2b40bec7e6a7ea664acee056eb3d08e15a1cf /tests/ui/or-patterns/exhaustiveness-unreachable-pattern.rs
parentReleasing progress-linux version 1.75.0+dfsg1-5~progress7.99u1. (diff)
downloadrustc-9918693037dce8aa4bb6f08741b6812923486c18.tar.xz
rustc-9918693037dce8aa4bb6f08741b6812923486c18.zip
Merging upstream version 1.76.0+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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
+ }
}