cast_slice_ptr_to_slice_ptr

Function cast_slice_ptr_to_slice_ptr 

Source
pub exec fn cast_slice_ptr_to_slice_ptr<T, U>(ptr: *mut [T]) -> result : *mut [U]
Expand description
ensures
result == spec_cast_slice_ptr_to_slice_ptr::<T, U>(ptr),

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

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