---

yaml
---
r: 16108
b: refs/heads/try
c: 79b3ded
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 653a1f8781cd4148d836915228ac28f13853457d
+refs/heads/try: 79b3dedac3f50ec22d9fcab887f29d03ceec9406
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/middle/borrowck.rs

@@ -654,7 +654,7 @@ impl methods for check_loan_ctxt {
                 self.fn_args.contains(did.node);
             if is_fn_arg { ret; } // case (a) above
           }
-          ast::expr_fn_block(*) | ast::expr_fn(*) {
+          ast::expr_fn_block(*) | ast::expr_fn(*) | ast::expr_loop_body(*) {
             if self.is_stack_closure(expr.id) { ret; } // case (b) above
           }
           _ {}

branches/try/src/test/compile-fail/pure-loop-body.rs

@@ -0,0 +1,21 @@
+pure fn range(from: uint, to: uint, f: fn(uint) -> bool) {
+    let mut i = from;
+    while i < to {
+        if !f(i) {ret;} // Note: legal to call argument, even if it is not pure.
+        i += 1u;
+    }
+}
+
+pure fn range2(from: uint, to: uint, f: fn(uint)) {
+    for range(from, to) { |i|
+        f(i*2u);
+    }
+}
+
+pure fn range3(from: uint, to: uint, f: {x: fn(uint)}) {
+    for range(from, to) { |i|
+        f.x(i*2u); //! ERROR access to impure function prohibited
+    }
+}
+
+fn main() {}