Function ptr_mut_from_nonnull Copy item path

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