Function vstd::raw_ptr::ex_ptr_null

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