---

yaml
---
r: 11849
b: refs/heads/master
c: 383a801
h: refs/heads/master
i:
  11847: ae65af1
v: v3

Author: pcwalton

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: a3d2882ffd694caeb274e53c8b8bb4ca03c493b3
+refs/heads/master: 383a80199351c6b9f9f4834242231c8586fb2ab6
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/typeck.rs

@@ -1466,6 +1466,17 @@ fn instantiate_self_regions(pcx: pat_ctxt, args: [ty::t]) -> [ty::t] {
     })
 }
 
+// Replaces all region variables in the given type with "inferred regions".
+// This is used during method lookup to allow typeclass implementations to
+// refer to inferred regions.
+fn universally_quantify_regions(tcx: ty::ctxt, ty: ty::t) -> ty::t {
+    if ty::type_has_rptrs(ty) {
+        ty::fold_ty(tcx, ty::fm_rptr({|_r| ty::re_inferred}), ty)
+    } else {
+        ty
+    }
+}
+
 fn check_pat_variant(pcx: pat_ctxt, pat: @ast::pat, path: @ast::path,
                      subpats: [@ast::pat], expected: ty::t) {
     // Typecheck the path.
@@ -1877,7 +1888,12 @@ fn lookup_method_inner(fcx: @fn_ctxt, expr: @ast::expr,
                 let {n_tps, ty: self_ty} = impl_self_ty(tcx, did);
                 let {vars, ty: self_ty} = if n_tps > 0u {
                     bind_params(fcx, self_ty, n_tps)
-                } else { {vars: [], ty: self_ty} };
+                } else {
+                    {vars: [], ty: self_ty}
+                };
+
+                let ty = universally_quantify_regions(tcx, ty);
+
                 alt unify::unify(fcx, ty, self_ty) {
                   result::ok(_) {
                     if option::is_some(result) {