blob: 003b28febff05e4f40512981ac780c1cf08b3f0b (
plain)
1
2
3
4
5
6
7
8
|
//@ check-pass
use std::ptr::NonNull;
const NON_NULL: NonNull<u8> = unsafe { NonNull::new_unchecked((&42u8 as *const u8).cast_mut()) };
const _: () = assert!(42 == *unsafe { NON_NULL.as_ref() });
fn main() {}
|