---

pcwalton · pcwalton · commit a0665aad59d0 · 2012-03-08T16:44:33.000-08:00
yaml --- r: 11722 b: refs/heads/master c: 71799cf h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,5 +1,5 @@
 ---
-refs/heads/master: ddeaea228723ffa84a17898e08727e0c55a304a1
+refs/heads/master: 71799cff2be35db9d3d2436f132156aff08fc672
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
diff --git a/trunk/src/rustc/middle/typeck.rs b/trunk/src/rustc/middle/typeck.rs
@@ -2208,6 +2208,7 @@ fn check_expr_with_unifier(fcx: @fn_ctxt, expr: @ast::expr, unify: unifier,
         // FIXME: This is incorrect. Infer the proper region.
         let tm = { ty: oper_t, mutbl: mutbl };
         oper_t = ty::mk_rptr(tcx, ty::re_block(0), tm);
+        write_ty(tcx, id, oper_t);
       }
       ast::expr_path(pth) {
         let defn = lookup_def(fcx, pth.span, id);

Original file line number	Diff line number	Diff line change
`@@ -2208,6 +2208,7 @@ fn check_expr_with_unifier(fcx: @fn_ctxt, expr: @ast::expr, unify: unifier,`
`2208`	`2208`	`// FIXME: This is incorrect. Infer the proper region.`
`2209`	`2209`	`let tm = { ty: oper_t, mutbl: mutbl };`
`2210`	`2210`	`oper_t = ty::mk_rptr(tcx, ty::re_block(0), tm);`
	`2211`	`+ write_ty(tcx, id, oper_t);`
`2211`	`2212`	`}`
`2212`	`2213`	`ast::expr_path(pth) {`
`2213`	`2214`	`let defn = lookup_def(fcx, pth.span, id);`