Function ptr_mut_cast_const_spec Copy item path

pub open spec fn ptr_mut_cast_const_spec<T: PointeeSized>(ptr: *mut T) -> *const T

{ ptr as *const T }