1 // error-pattern: pointer to 4 bytes starting at offset 0 is out-of-bounds
2 
main()3 fn main() { unsafe {
4     let ptr = Box::into_raw(Box::new(0u16));
5     Box::from_raw(ptr as *mut u32);
6 } }
7