Function vstd::raw_ptr::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 {
        addr: ptr@.addr,
        provenance: ptr@.provenance,
        metadata: Metadata::Length(N),
    })
}