spec_cast_slice_ptr_to_str_ptr

vstd::raw_ptr

Function spec_cast_slice_ptr_to_str_ptr 

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

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