1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/borrowck/borrowck-pat-reassign-binding.rs b/tests/ui/borrowck/borrowck-pat-reassign-binding.rs
new file mode 100644
index 000000000..f02c46fb8
--- /dev/null
+++ b/tests/ui/borrowck/borrowck-pat-reassign-binding.rs
@@ -0,0 +1,15 @@
+fn main() {
+    let mut x: Option<isize> = None;
+    match x {
+      None => {
+          // Note: on this branch, no borrow has occurred.
+          x = Some(0);
+      }
+      Some(ref i) => {
+          // But on this branch, `i` is an outstanding borrow
+          x = Some(*i+1); //~ ERROR cannot assign to `x` because it is borrowed
+          drop(i);
+      }
+    }
+    x.clone(); // just to prevent liveness warnings
+}