Function ptr_mut_from_nonull Copy item path

pub uninterp fn ptr_mut_from_nonull<T: PointeeSized>(ptr: NonNull<T>) -> *mut T