vstd::raw_ptr

Function cast_array_ptr_to_slice_ptr

Source 
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),

Cast a pointer to an array of length N to a slice pointer. Address and provenance are preserved; metadata has length N.

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