// skip-filecheck | |
#![feature(never_type)] | |
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() {} |