// error-pattern:internal error: entered unreachable code
fn main() {
    unreachable!()
}