Function nonnull_cast_spec_wrapper Copy item path

pub open spec fn nonnull_cast_spec_wrapper<T: PointeeSized, U>(
    ptr: NonNull<T>,
) -> NonNull<U>

{ ptr.cast_spec::<U>() }