about summary refs log tree commit diff
path: root/src/test/ui/pattern/usefulness/refutable-pattern-errors.rs
diff options
context:
space:
mode:
authorNadrieril <nadrieril@gmail.com>2019-09-28 16:05:38 +0200
committerNadrieril <nadrieril@gmail.com>2019-10-27 21:20:26 +0000
commit09f9947ebc68a8199c3dff8607a41571c48cc377 (patch)
treefb81c258de9902ea813c24c5ca08bcce9817a4bb /src/test/ui/pattern/usefulness/refutable-pattern-errors.rs
parent0f677c65e867d93a47ccbaeaf6e6725cde8c5ff6 (diff)
downloadrust-09f9947ebc68a8199c3dff8607a41571c48cc377.tar.gz
rust-09f9947ebc68a8199c3dff8607a41571c48cc377.zip
Gather together usefulness tests
I took most tests that were testing only for match exhaustiveness,
pattern refutability or match arm reachability, and put them in
the same test folder.
Diffstat (limited to 'src/test/ui/pattern/usefulness/refutable-pattern-errors.rs')
-rw-r--r--src/test/ui/pattern/usefulness/refutable-pattern-errors.rs9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/ui/pattern/usefulness/refutable-pattern-errors.rs b/src/test/ui/pattern/usefulness/refutable-pattern-errors.rs
new file mode 100644
index 00000000000..d4afe17ca74
--- /dev/null
+++ b/src/test/ui/pattern/usefulness/refutable-pattern-errors.rs
@@ -0,0 +1,9 @@
+// ignore-tidy-linelength
+
+fn func((1, (Some(1), 2..=3)): (isize, (Option<isize>, isize))) { }
+//~^ ERROR refutable pattern in function argument: `(_, _)` not covered
+
+fn main() {
+    let (1, (Some(1), 2..=3)) = (1, (None, 2));
+    //~^ ERROR refutable pattern in local binding: `(std::i32::MIN..=0i32, _)` and `(2i32..=std::i32::MAX, _)` not covered
+}