1 #![feature(never_type)]
5 // EMIT_MIR uninhabited_enum.process_never.SimplifyLocals.after.mir
7 pub fn process_never(input: *const !) {
8 let _input = unsafe { &*input };
11 // EMIT_MIR uninhabited_enum.process_void.SimplifyLocals.after.mir
13 pub fn process_void(input: *const Void) {
14 let _input = unsafe { &*input };
15 // In the future, this should end with `unreachable`, but we currently only do
16 // unreachability analysis for `!`.