about summary refs log tree commit diff
path: root/src/test/ui/unsafe/issue-47412.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unsafe/issue-47412.rs')
-rw-r--r--src/test/ui/unsafe/issue-47412.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/unsafe/issue-47412.rs b/src/test/ui/unsafe/issue-47412.rs
deleted file mode 100644
index df6d6e4222e..00000000000
--- a/src/test/ui/unsafe/issue-47412.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-// revisions: mir thir
-// [thir]compile-flags: -Z thir-unsafeck
-
-#[derive(Copy, Clone)]
-enum Void {}
-
-// Tests that we detect unsafe places (specifically, union fields and
-// raw pointer dereferences), even when they're matched on while having
-// an uninhabited type (equivalent to `std::intrinsics::unreachable()`).
-
-fn union_field() {
-    union Union { unit: (), void: Void }
-    let u = Union { unit: () };
-    match u.void {}
-    //~^ ERROR access to union field is unsafe
-}
-
-fn raw_ptr_deref() {
-    let ptr = std::ptr::null::<Void>();
-    match *ptr {}
-    //~^ ERROR dereference of raw pointer is unsafe
-}
-
-fn main() {}