Repository navigation
ICE when const-evaling a block that does not end with an expression #31384
Description
Unreachable code is entered when trying to const-eval a block that doesn't have a terminating expression.
const fn f(_: ()) -> usize { 1 }
fn main() {
[0; f({})];
}The relevant line is
rust/src/librustc/middle/const_eval.rs
Line 1124 in 8c77ffb
Activity
oli-obk commentedon Feb 3, 2016
That was me! I found no way to trigger this so I made it unreachable, but I forgot about const fn arguments. We don't have a way of creating a unit constant. Technically it would be an empty tuple, but our constant tuples are just an expression id, we can't create new ones in the const evaluator.
oli-obk commentedon Jan 26, 2017
does not ice anymore, but reports a normal error