pub open spec fn nonnull_new_spec<T: PointeeSized>(ptr: *mut T) -> Option<NonNull<T>>Expand description
{ if ptr.is_null() { None } else { Some(nonnull_from_ptr_mut_spec(ptr)) } }pub open spec fn nonnull_new_spec<T: PointeeSized>(ptr: *mut T) -> Option<NonNull<T>>{ if ptr.is_null() { None } else { Some(nonnull_from_ptr_mut_spec(ptr)) } }