Rollup merge of #105615 - WaffleLapkin:remove_opt_scope_span_mention, r=compiler...

[rust.git] / src / tools / miri / tests / fail / stacked_borrows / issue-miri-1050-1.rs

//@error-pattern: pointer to 4 bytes starting at offset 0 is out-of-bounds

fn main() {
    unsafe {
        let ptr = Box::into_raw(Box::new(0u16));
        drop(Box::from_raw(ptr as *mut u32));
    }
}