---

yaml
---
r: 11983
b: refs/heads/master
c: bf13fb7
h: refs/heads/master
i:
  11981: 3e1eb43
  11979: 09e911b
  11975: 5a5c065
  11967: aec07de
v: v3

Author: pcwalton

[refs]

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

trunk/src/rustc/middle/typeck.rs

@@ -835,6 +835,18 @@ fn fixup_self_in_method_ty(cx: ty::ctxt, mty: ty::t, m_substs: [ty::t],
     } else { mty }
 }
 
+// Mangles an iface method ty to instantiate its `self` region.
+fn fixup_self_region_in_method_ty(fcx: @fn_ctxt, mty: ty::t,
+                                  self_expr: @ast::expr) -> ty::t {
+    let self_region = region_of(fcx, self_expr);
+    ty::fold_ty(fcx.ccx.tcx, ty::fm_rptr({|r|
+        alt r {
+            ty::re_self(_) { self_region }
+            _ { r }
+        }
+    }), mty)
+}
+
 // Item collection - a pair of bootstrap passes:
 //
 // (1) Collect the IDs of all type items (typedefs) and store them in a table.
@@ -1811,6 +1823,11 @@ fn lookup_method(fcx: @fn_ctxt, expr: @ast::expr, node_id: ast::node_id,
                 tcx, fty, substs, option::get(self_sub));
             write_ty(tcx, node_id, fty);
         }
+        if ty::type_has_rptrs(ty::ty_fn_ret(fty)) {
+            let fty = ty::node_id_to_type(tcx, node_id);
+            fty = fixup_self_region_in_method_ty(fcx, fty, expr);
+            write_ty(tcx, node_id, fty);
+        }
         some(origin)
       }
       none { none }
@@ -1982,9 +1999,13 @@ fn region_of(fcx: @fn_ctxt, expr: @ast::expr) -> ty::region {
                 }
             }
         }
-        ast::expr_field(base, _, _) | ast::expr_index(base, _) {
-            fcx.ccx.tcx.sess.span_unimpl(expr.span, "regions of field or " +
-                                         "index operations");
+        ast::expr_field(base, _, _) {
+            // FIXME: Insert borrowing!
+            ret region_of(fcx, base);
+        }
+        ast::expr_index(base, _) {
+            fcx.ccx.tcx.sess.span_unimpl(expr.span,
+                                         "regions of index operations");
         }
         ast::expr_unary(ast::deref, base) {
             let expr_ty = ty::expr_ty(fcx.ccx.tcx, base);