pub uninterp fn nonnull_from_ptr_mut_spec<T: PointeeSized>(ptr: *mut T) -> NonNull<T>Expand description
An uninterpreted specification that constructs a NonNull<T> from a raw pointer.
pub uninterp fn nonnull_from_ptr_mut_spec<T: PointeeSized>(ptr: *mut T) -> NonNull<T>An uninterpreted specification that constructs a NonNull<T> from a raw pointer.