1 // error-pattern: outside bounds of alloc
4 let x = Box::into_raw(Box::new(0u32));
5 let x = x.wrapping_offset(8); // ok, this has no inbounds tag
6 let _x = unsafe { x.offset(0) }; // UB despite offset 0, the pointer is not inbounds of the only object it can point to