spec_cast_slice_ptr_to_slice_ptr

Function spec_cast_slice_ptr_to_slice_ptr 

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

Cast a slice pointer to another slice pointer. Length is preserved even if the size of the elements changes.