---

yaml
---
r: 10717
b: refs/heads/snap-stage3
c: c2751c5
h: refs/heads/master
i:
  10715: 3d1d041
v: v3

Author: brson

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 8ed970159143b9151cdabacb11a369a023cf87cc
+refs/heads/snap-stage3: c2751c5640c9400c58de494e0ff8a49e0c1de5d2
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/snap-stage3/src/rustc/middle/borrowck/check_loans.rs

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

branches/snap-stage3/src/test/run-pass/do-pure.rs

@@ -0,0 +1,10 @@
+pure fn f(f: fn()) {
+}
+
+pure fn g() {
+    // `f { || }` is considered pure, so `do f { || }` should be too
+    do f { || }
+}
+
+fn main() {
+}