1 files changed, 80 insertions, 0 deletions
diff --git a/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-move-and-ref-inverse.rs b/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-move-and-ref-inverse.rs
new file mode 100644
index 000000000..06dc6e1c4
--- /dev/null
+++ b/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-move-and-ref-inverse.rs
@@ -0,0 +1,80 @@
+// Test that `by_move_binding @ pat_with_by_ref_bindings` is prevented.
+
+fn main() {
+    struct U;
+
+    // Prevent promotion.
+    fn u() -> U {
+        U
+    }
+
+    fn f1(a @ ref b: U) {}
+    //~^ ERROR borrow of moved value
+
+    fn f2(mut a @ (b @ ref c, mut d @ ref e): (U, U)) {}
+    //~^ ERROR borrow of moved value
+    //~| ERROR borrow of moved value
+    //~| ERROR borrow of moved value
+    //~| ERROR use of partially moved value
+    fn f3(a @ [ref mut b, ref c]: [U; 2]) {}
+    //~^ ERROR borrow of moved value
+
+    let a @ ref b = U;
+    //~^ ERROR borrow of moved value
+    let a @ (mut b @ ref mut c, d @ ref e) = (U, U);
+    //~^ ERROR borrow of moved value
+    //~| ERROR borrow of moved value
+    //~| ERROR borrow of moved value
+    //~| ERROR use of partially moved value
+    let a @ [ref mut b, ref c] = [U, U];
+    //~^ ERROR borrow of moved value
+    let a @ ref b = u();
+    //~^ ERROR borrow of moved value
+    let a @ (mut b @ ref mut c, d @ ref e) = (u(), u());
+    //~^ ERROR borrow of moved value
+    //~| ERROR borrow of moved value
+    //~| ERROR borrow of moved value
+    //~| ERROR use of partially moved value
+    let a @ [ref mut b, ref c] = [u(), u()];
+    //~^ ERROR borrow of moved value
+
+    match Some(U) {
+        a @ Some(ref b) => {}
+        //~^ ERROR borrow of moved value
+        None => {}
+    }
+    match Some((U, U)) {
+        a @ Some((mut b @ ref mut c, d @ ref e)) => {}
+        //~^ ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        //~| ERROR use of moved value
+        None => {}
+    }
+    match Some([U, U]) {
+        mut a @ Some([ref b, ref mut c]) => {}
+        //~^ ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        None => {}
+    }
+    match Some(u()) {
+        a @ Some(ref b) => {}
+        //~^ ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        None => {}
+    }
+    match Some((u(), u())) {
+        a @ Some((mut b @ ref mut c, d @ ref e)) => {}
+        //~^ ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        //~| ERROR use of moved value
+        None => {}
+    }
+    match Some([u(), u()]) {
+        mut a @ Some([ref b, ref mut c]) => {}
+        //~^ ERROR borrow of moved value
+        //~| ERROR borrow of moved value
+        None => {}
+    }
+}