From 71799cff2be35db9d3d2436f132156aff08fc672 Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Thu, 8 Mar 2012 16:44:33 -0800 Subject: [PATCH] rustc: Actually write the type back --- src/rustc/middle/typeck.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/rustc/middle/typeck.rs b/src/rustc/middle/typeck.rs index ccb6a018d92c..341c5252639d 100644 --- 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);