1 files changed, 21 insertions, 0 deletions
diff --git a/tests/ui/moves/moves-based-on-type-match-bindings.rs b/tests/ui/moves/moves-based-on-type-match-bindings.rs
new file mode 100644
index 000000000..4fb9b40e8
--- /dev/null
+++ b/tests/ui/moves/moves-based-on-type-match-bindings.rs
@@ -0,0 +1,21 @@
+// Tests that bindings to move-by-default values trigger moves of the
+// discriminant. Also tests that the compiler explains the move in
+// terms of the binding, not the discriminant.
+
+struct Foo<A> { f: A }
+fn guard(_s: String) -> bool {panic!()}
+fn touch<A>(_a: &A) {}
+
+fn f10() {
+    let x = Foo {f: "hi".to_string()};
+
+    let y = match x {
+        Foo {f} => {}
+    };
+
+    touch(&x); //~ ERROR borrow of partially moved value: `x`
+    //~^ value borrowed here after partial move
+    //~| partial move occurs because `x.f` has type `String`
+}
+
+fn main() {}