Function vstd::raw_ptr::ex_ptr_null_mut

source · 
pub exec fn ex_ptr_null_mut<T: ?Sized + Pointee<Metadata = ()>>() -> res : *mut T
Expand description
ensures
res == ptr_null_mut::<T>(),