vstd::raw_ptr

Function spec_cast_array_ptr_to_slice_ptr

Source 
pub open spec fn spec_cast_array_ptr_to_slice_ptr<T, const N: usize>(
    ptr: *mut [T; N],
) -> *mut [T]
Expand description
{
    ptr_mut_from_data(PtrData::<[T]> {
        addr: ptr@.addr,
        provenance: ptr@.provenance,
        metadata: N,
    })
}

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