diff --git a/tests/compile-fail/dangling_zst_deref.rs b/tests/compile-fail/dangling_zst_deref.rs new file mode 100644 index 00000000000..0a8480675f3 --- /dev/null +++ b/tests/compile-fail/dangling_zst_deref.rs @@ -0,0 +1,7 @@ +fn main() { + let p = { + let b = Box::new(42); + &*b as *const i32 as *const () + }; + let _x = unsafe { *p }; //~ ERROR dangling pointer was dereferenced +}