Function ptr_mut_cast_spec Copy item path

pub open spec fn ptr_mut_cast_spec<T: PointeeSized, U>(ptr: *mut T) -> *mut U

{ ptr as *mut U }