rustc: Actually write the type back

pcwalton · pcwalton · commit 71799cff2be3 · 2012-03-08T16:44:33.000-08:00
diff --git a/src/rustc/middle/typeck.rs b/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);`