spec_cast_str_ptr_to_slice_ptr

Function spec_cast_str_ptr_to_slice_ptr 

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

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