Skip to content

Commit d82e9c1

Browse files
committed
rustc: Add a FIXME to expr_alt type checking
1 parent 420d18a commit d82e9c1

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/comp/middle/typeck.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2235,6 +2235,8 @@ fn check_expr(&@stmt_ctxt scx, &@ast::expr expr) {
22352235

22362236
Pushdown::pushdown_expr(scx, pattern_ty, expr);
22372237

2238+
// FIXME: If all the the arms were ty_bot then the result should
2239+
// also be ty_bot. At the moment this doesn't seem to matter
22382240
write::ty_only_fixup(scx, a.id, result_ty);
22392241
}
22402242

0 commit comments

Comments
 (0)