about summary refs log tree commit diff
path: root/tests/ui/consts/const-eval/nonnull_as_ref_ub.rs
blob: 908833e65142942e10add856e4753482d9818eef (plain)
1
2
3
4
5
6
use std::ptr::NonNull;

const NON_NULL: NonNull<u8> = unsafe { NonNull::dangling() };
const _: () = assert!(42 == *unsafe { NON_NULL.as_ref() }); //~ERROR: dangling pointer (it has no provenance)

fn main() {}