Function nonnull_with_addr_spec_wrapper Copy item path

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

{ ptr.with_addr_spec(addr) }