1 files changed, 31 insertions, 0 deletions
diff --git a/tests/ui/pattern/bindings-after-at/borrowck-move-and-move.rs b/tests/ui/pattern/bindings-after-at/borrowck-move-and-move.rs
new file mode 100644
index 000000000..a61d68215
--- /dev/null
+++ b/tests/ui/pattern/bindings-after-at/borrowck-move-and-move.rs
@@ -0,0 +1,31 @@
+// Test that moving on both sides of an `@` pattern is not allowed.
+
+fn main() {
+    struct U; // Not copy!
+
+    // Prevent promotion:
+    fn u() -> U {
+        U
+    }
+
+    let a @ b = U; //~ ERROR use of moved value
+
+    let a @ (b, c) = (U, U); //~ ERROR use of partially moved value
+
+    let a @ (b, c) = (u(), u()); //~ ERROR use of partially moved value
+
+    match Ok(U) {
+        a @ Ok(b) | a @ Err(b) => {} //~ ERROR use of moved value
+                                     //~^ ERROR use of moved value
+    }
+
+    fn fun(a @ b: U) {} //~ ERROR use of moved value
+
+    match [u(), u(), u(), u()] {
+        xs @ [a, .., b] => {} //~ ERROR use of partially moved value
+    }
+
+    match [u(), u(), u(), u()] {
+        xs @ [_, ys @ .., _] => {} //~ ERROR use of partially moved value
+    }
+}