Function nonnull_addr_spec_wrapper Copy item path

pub open spec fn nonnull_addr_spec_wrapper<T: PointeeSized>(
    ptr: NonNull<T>,
) -> NonZeroUsize

{ ptr.addr_spec() }