src/test/mir-opt/uninhabited-enum.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#![feature(never_type)]

pub enum Void {}

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

// EMIT_MIR uninhabited_enum.process_void.SimplifyLocals.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() {}