tests/mir-opt/uninhabited_enum.rs

//@ skip-filecheck
//
// check that we mark blocks with `!` locals as unreachable.
// (and currently don't do the same for other uninhabited types)
#![feature(never_type)]

#[derive(Copy, Clone)]
pub enum Void {}

// EMIT_MIR uninhabited_enum.process_never.SimplifyLocals-final.after.mir
#[no_mangle]
pub fn process_never(input: *const !) {
    let _input = unsafe { *input };
}

// EMIT_MIR uninhabited_enum.process_void.SimplifyLocals-final.after.mir
#[no_mangle]
pub fn process_void(input: *const Void) {
    let _input = unsafe { *input };
    // In the future, this should end with `unreachable`, but we currently only do
    // unreachability analysis for `!`.
}

fn main() {}