diff options
| -rw-r--r-- | src/librustc/middle/trans/controlflow.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustc/middle/trans/controlflow.rs b/src/librustc/middle/trans/controlflow.rs index 2174fe3df9a..eac7af56ed4 100644 --- a/src/librustc/middle/trans/controlflow.rs +++ b/src/librustc/middle/trans/controlflow.rs @@ -264,6 +264,10 @@ pub fn trans_loop<'a>(bcx:&'a Block<'a>, fcx.pop_loop_cleanup_scope(loop_id); + if ty::type_is_bot(node_id_type(bcx, loop_id)) { + Unreachable(next_bcx_in); + } + return next_bcx_in; } |