#![feature(never_type)]

pub enum Void {}

#[no_mangle]
pub fn process_never(input: *const !) {
   let _input = unsafe { &*input };
}

#[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() {}

// END RUST SOURCE
//
// START rustc.process_never.SimplifyLocals.after.mir
// bb0: {
//     StorageLive(_2);
//     _2 = &(*_1);
//     StorageDead(_2);
//     unreachable;
// }
// END rustc.process_never.SimplifyLocals.after.mir
//
// START rustc.process_void.SimplifyLocals.after.mir
// bb0: {
//     StorageLive(_2);
//     _2 = &(*_1);
//     StorageDead(_2);
//     return;
// }
// END rustc.process_void.SimplifyLocals.after.mir