---

yaml
---
r: 20699
b: refs/heads/snap-stage3
c: 6384917
h: refs/heads/master
i:
  20697: 8869730
  20695: 0ec967e
v: v3

Author: nikomatsakis

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: e430a699f2c60890d9b86069fd0c68a70ece7120
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 2407373fa494c9043eba633675c4a2a89769d1b2
+refs/heads/snap-stage3: 638491712e265c8d5bc9bd9852ece17b5ec78f5b
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/rustc/middle/region.rs

@@ -485,7 +485,16 @@ fn determine_rp_in_ty(ty: @ast::ty,
       _ {}
     }
 
-    visit::visit_ty(ty, cx, visitor);
+    alt ty.node {
+      ast::ty_fn(*) => {
+        do cx.with(cx.item_id, false) {
+            visit::visit_ty(ty, cx, visitor);
+        }
+      }
+      _ => {
+        visit::visit_ty(ty, cx, visitor);
+      }
+    }
 }
 
 fn determine_rp_in_crate(sess: session,

branches/snap-stage3/src/test/compile-fail/regions-infer-region-in-fn-but-not-type.rs

@@ -0,0 +1,9 @@
+
+// check that the &int here does not cause us to think that `foo`
+// contains region pointers
+enum foo = fn~(x: &int);
+
+fn take_foo(x: foo/&) {} //~ ERROR no region bound is allowed on `foo`
+
+fn main() {
+}