1 files changed, 41 insertions, 0 deletions
diff --git a/tests/ui/borrowck/borrowck-match-binding-is-assignment.rs b/tests/ui/borrowck/borrowck-match-binding-is-assignment.rs
new file mode 100644
index 000000000..064bf69ae
--- /dev/null
+++ b/tests/ui/borrowck/borrowck-match-binding-is-assignment.rs
@@ -0,0 +1,41 @@
+// Test that immutable pattern bindings cannot be reassigned.
+
+enum E {
+    Foo(isize)
+}
+
+struct S {
+    bar: isize,
+}
+
+pub fn main() {
+    match 1 {
+        x => {
+            x += 1; //~ ERROR [E0384]
+        }
+    }
+
+    match E::Foo(1) {
+        E::Foo(x) => {
+            x += 1; //~ ERROR [E0384]
+        }
+    }
+
+    match (S { bar: 1 }) {
+        S { bar: x } => {
+            x += 1; //~ ERROR [E0384]
+        }
+    }
+
+    match (1,) {
+        (x,) => {
+            x += 1; //~ ERROR [E0384]
+        }
+    }
+
+    match [1,2,3] {
+        [x,_,_] => {
+            x += 1; //~ ERROR [E0384]
+        }
+    }
+}