summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/or-patterns.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/or-patterns.rs')
-rw-r--r--src/test/ui/borrowck/or-patterns.rs62
1 files changed, 0 insertions, 62 deletions
diff --git a/src/test/ui/borrowck/or-patterns.rs b/src/test/ui/borrowck/or-patterns.rs
deleted file mode 100644
index aeab3b92e..000000000
--- a/src/test/ui/borrowck/or-patterns.rs
+++ /dev/null
@@ -1,62 +0,0 @@
-// Test that borrow check considers all choices in an or pattern, even the
-// unreachable ones.
-
-fn or_pattern_moves_all(x: ((String, String),)) {
- match x {
- ((y, _) | (_, y),) => (),
- }
- &x.0 .0;
- //~^ ERROR borrow of moved value
- &x.0 .1;
- //~^ ERROR borrow of moved value
-}
-
-fn or_pattern_borrows_all(mut x: ((String, String),)) {
- let r = match x {
- ((ref y, _) | (_, ref y),) => y,
- };
- &mut x.0 .0;
- //~^ ERROR cannot borrow
- &mut x.0 .1;
- //~^ ERROR cannot borrow
- drop(r);
-}
-
-fn or_pattern_borrows_all_mut(mut x: ((String, String),)) {
- let r = match x {
- ((ref mut y, _) | (_, ref mut y),) => y,
- };
- &x.0 .0;
- //~^ ERROR cannot borrow
- &x.0 .1;
- //~^ ERROR cannot borrow
- drop(r);
-}
-
-fn let_or_pattern_moves_all(x: ((String, String),)) {
- let ((y, _) | (_, y),) = x;
- &x.0 .0;
- //~^ ERROR borrow of moved value
- &x.0 .1;
- //~^ ERROR borrow of moved value
-}
-
-fn let_or_pattern_borrows_all(mut x: ((String, String),)) {
- let ((ref r, _) | (_, ref r),) = x;
- &mut x.0 .0;
- //~^ ERROR cannot borrow
- &mut x.0 .1;
- //~^ ERROR cannot borrow
- drop(r);
-}
-
-fn let_or_pattern_borrows_all_mut(mut x: ((String, String),)) {
- let ((ref mut r, _) | (_, ref mut r),) = x;
- &x.0 .0;
- //~^ ERROR cannot borrow
- &x.0 .1;
- //~^ ERROR cannot borrow
- drop(r);
-}
-
-fn main() {}