Function ptr_cast_spec Copy item path

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

{ ptr as *const U }