---

yaml
---
r: 22807
b: refs/heads/master
c: 6384917
h: refs/heads/master
i:
  22805: 03f66b0
  22803: 080d44a
  22799: 9612055
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 2407373fa494c9043eba633675c4a2a89769d1b2
+refs/heads/master: 638491712e265c8d5bc9bd9852ece17b5ec78f5b
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/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,

trunk/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() {
+}