about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorPatrick Walton <pcwalton@mimiga.net>2010-12-16 12:25:39 -0800
committerPatrick Walton <pcwalton@mimiga.net>2010-12-16 12:25:39 -0800
commit680e858d612fe9da436194dacdf2987ece9ada03 (patch)
treeccee45c66f521391e0352bc791cc7223a371d1f1 /src
parent13b889287b5fc9815816a2d4998c4b8c8eaefb88 (diff)
rustc: Write types back when typechecking "ret" statements
Diffstat (limited to 'src')
-rw-r--r--src/comp/middle/typeck.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index 332c893e841..2529ab29c2f 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -2236,10 +2236,10 @@ fn check_stmt(&fn_ctxt fcx, &@ast.stmt stmt)
                 }
 
                 case (some[@ast.expr](?expr)) {
-                    auto expr_t = check_expr(fcx, expr);
-                    demand(fcx, expr.span, fcx.ret_ty, expr_ty(expr_t));
+                    auto expr_0 = check_expr(fcx, expr);
+                    auto expr_1 = demand_expr(fcx, fcx.ret_ty, expr_0);
                     ret @fold.respan[ast.stmt_](stmt.span,
-                                                ast.stmt_ret(some(expr_t)));
+                                                ast.stmt_ret(some(expr_1)));
                 }
             }
         }