1 #![feature(never_type)]
6 pub fn process_never(input: *const !) {
7 let _input = unsafe { &*input };
11 pub fn process_void(input: *const Void) {
12 let _input = unsafe { &*input };
13 // In the future, this should end with `unreachable`, but we currently only do
14 // unreachability analysis for `!`.
21 // START rustc.process_never.SimplifyLocals.after.mir
28 // END rustc.process_never.SimplifyLocals.after.mir
30 // START rustc.process_void.SimplifyLocals.after.mir
37 // END rustc.process_void.SimplifyLocals.after.mir