1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/pattern/bindings-after-at/copy-and-move-mixed.rs b/tests/ui/pattern/bindings-after-at/copy-and-move-mixed.rs
new file mode 100644
index 000000000..1e2c2968c
--- /dev/null
+++ b/tests/ui/pattern/bindings-after-at/copy-and-move-mixed.rs
@@ -0,0 +1,14 @@
+// Test that mixing `Copy` and non-`Copy` types in `@` patterns is forbidden.
+
+#[derive(Copy, Clone)]
+struct C;
+
+struct NC<A, B>(A, B);
+
+fn main() {
+    // this compiles
+    let a @ NC(b, c) = NC(C, C);
+
+    let a @ NC(b, c @ NC(d, e)) = NC(C, NC(C, C));
+    //~^ ERROR use of partially moved value
+}