diff options
Diffstat (limited to 'src/test/ui/unsafe/issue-47412.rs')
| -rw-r--r-- | src/test/ui/unsafe/issue-47412.rs | 24 |
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() {} |
