Function vstd::raw_ptr::ptr_null_mut

source · 
pub open spec fn ptr_null_mut<T: ?Sized + Pointee<Metadata = ()>>() -> *mut T
Expand description
{
    ptr_mut_from_data(PtrData {
        addr: 0,
        provenance: Provenance::null(),
        metadata: Metadata::Thin,
    })
}