diff options
| author | Brian Anderson <andersrb@gmail.com> | 2011-05-21 18:35:21 -0400 |
|---|---|---|
| committer | Brian Anderson <andersrb@gmail.com> | 2011-05-21 18:35:21 -0400 |
| commit | d82e9c1874a09ab1ab443fcee04d42220e21cb7f (patch) | |
| tree | f7e1cd6316c61a27893d0a8fca5e13aeec13af61 /src/comp/middle | |
| parent | 420d18a448b0e73904d479f7ef9206712d8b1938 (diff) | |
rustc: Add a FIXME to expr_alt type checking
Diffstat (limited to 'src/comp/middle')
| -rw-r--r-- | src/comp/middle/typeck.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs index 8da317dc8ba..aa636d9f2da 100644 --- a/src/comp/middle/typeck.rs +++ b/src/comp/middle/typeck.rs @@ -2235,6 +2235,8 @@ fn check_expr(&@stmt_ctxt scx, &@ast::expr expr) { Pushdown::pushdown_expr(scx, pattern_ty, expr); + // FIXME: If all the the arms were ty_bot then the result should + // also be ty_bot. At the moment this doesn't seem to matter write::ty_only_fixup(scx, a.id, result_ty); } |