squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

rustc: Write types back when typechecking "ret" statements

Browse source
This commit is contained in:
Patrick Walton 2010-12-16 12:25:39 -08:00
parent 13b889287b
commit 680e858d61
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/comp/middle/typeck.rs
View file

@ -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)));
}
}
}