1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/borrowck/borrowck-closures-mut-of-imm.rs b/src/test/ui/borrowck/borrowck-closures-mut-of-imm.rs
new file mode 100644
index 000000000..d7e187a2b
--- /dev/null
+++ b/src/test/ui/borrowck/borrowck-closures-mut-of-imm.rs
@@ -0,0 +1,18 @@
+// Tests that two closures cannot simultaneously have mutable
+// and immutable access to the variable. Issue #6801.
+
+fn set(x: &mut isize) {
+    *x = 4;
+}
+
+fn a(x: &isize) {
+    let mut c1 = || set(&mut *x);
+    //~^ ERROR cannot borrow
+    let mut c2 = || set(&mut *x);
+    //~^ ERROR cannot borrow
+    //~| ERROR two closures require unique access to `x` at the same time
+    c2(); c1();
+}
+
+fn main() {
+}