vstd::raw_ptr

Function 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,
    })
}

Constructs a mutable null pointer. NOTE: Trait aliases are not yet supported, so we use Pointee<Metadata = ()> instead of core::ptr::Thin here