1 files changed, 29 insertions, 0 deletions
diff --git a/src/test/ui/borrowck/mut-borrow-in-loop.rs b/src/test/ui/borrowck/mut-borrow-in-loop.rs
new file mode 100644
index 000000000..22667906e
--- /dev/null
+++ b/src/test/ui/borrowck/mut-borrow-in-loop.rs
@@ -0,0 +1,29 @@
+// produce special borrowck message inside all kinds of loops
+
+struct FuncWrapper<'a, T : 'a> {
+    func : fn(&'a mut T) -> ()
+}
+
+impl<'a, T : 'a> FuncWrapper<'a, T> {
+    fn in_loop(self, arg : &'a mut T) {
+        loop {
+            (self.func)(arg) //~ ERROR cannot borrow
+        }
+    }
+
+    fn in_while(self, arg : &'a mut T) {
+        while true { //~ WARN denote infinite loops with
+            (self.func)(arg) //~ ERROR cannot borrow
+        }
+    }
+
+    fn in_for(self, arg : &'a mut T) {
+        let v : Vec<()> = vec![];
+        for _ in v.iter() {
+            (self.func)(arg) //~ ERROR cannot borrow
+        }
+    }
+}
+
+fn main() {
+}