cast_str_ptr_to_slice_ptr

Function cast_str_ptr_to_slice_ptr 

Source
pub exec fn cast_str_ptr_to_slice_ptr<T>(ptr: *mut str) -> result : *mut [T]
Expand description
ensures
result == spec_cast_str_ptr_to_slice_ptr::<T>(ptr),

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

Don’t call this directly; use an as-cast instead.