summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/uninhabited_enum.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/uninhabited_enum.rs')
-rw-r--r--src/test/mir-opt/uninhabited_enum.rs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/mir-opt/uninhabited_enum.rs b/src/test/mir-opt/uninhabited_enum.rs
deleted file mode 100644
index 97c6e8cd5..000000000
--- a/src/test/mir-opt/uninhabited_enum.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-#![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() {}