pub exec fn cast_array_ptr_to_slice_ptr<T, const N: usize>(
    ptr: *mut [T; N]
) -> result : *mut [T]
Expand description
ensures
result == spec_cast_array_ptr_to_slice_ptr(ptr),

Don’t call this directly; use an as-cast instead.