about summary refs log tree commit diff
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 aeab3b92e98..00000000000
--- 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() {}