summaryrefslogtreecommitdiffstats
path: root/src/test/ui/never_type/never_transmute_never.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/never_type/never_transmute_never.rs')
-rw-r--r--src/test/ui/never_type/never_transmute_never.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/never_type/never_transmute_never.rs b/src/test/ui/never_type/never_transmute_never.rs
deleted file mode 100644
index fce3ced9a..000000000
--- a/src/test/ui/never_type/never_transmute_never.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// check-pass
-
-#![crate_type="lib"]
-
-#![feature(never_type)]
-#![allow(dead_code)]
-#![allow(unreachable_code)]
-#![allow(unused_variables)]
-
-struct Foo;
-
-pub fn f(x: !) -> ! {
- x
-}
-
-pub fn ub() {
- // This is completely undefined behaviour,
- // but we still want to make sure it compiles.
- let x: ! = unsafe {
- std::mem::transmute::<Foo, !>(Foo)
- };
- f(x)
-}