Skip to content

Commit 7a02798

Browse files
committed
Change another typestate check to an expr check.
1 parent 9ae89bd commit 7a02798

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/comp/middle/typeck.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1348,7 +1348,7 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
13481348

13491349
case (ast.expr_be(?e)) {
13501350
/* FIXME: prove instead of check */
1351-
check ast.is_call_expr(e);
1351+
check (ast.is_call_expr(e));
13521352
auto expr_0 = check_expr(fcx, e);
13531353
auto expr_1 = demand_expr(fcx, fcx.ret_ty, expr_0);
13541354
ret @fold.respan[ast.expr_](expr.span,

0 commit comments

Comments
 (0)