1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/pattern/bindings-after-at/bind-by-move-no-subbindings-fun-param.rs b/src/test/ui/pattern/bindings-after-at/bind-by-move-no-subbindings-fun-param.rs
new file mode 100644
index 000000000..1816a74a0
--- /dev/null
+++ b/src/test/ui/pattern/bindings-after-at/bind-by-move-no-subbindings-fun-param.rs
@@ -0,0 +1,11 @@
+// See issue #12534.
+
+fn main() {}
+
+struct A(Box<u8>);
+
+fn f(a @ A(u): A) -> Box<u8> {
+    //~^ ERROR use of partially moved value
+    drop(a);
+    u
+}