Skip to content

Commit

Permalink
Rollup merge of #103329 - saethlin:nonnull-precondition, r=thomcc
Browse files Browse the repository at this point in the history
Add a forgotten check for NonNull::new_unchecked's precondition

Looks like I forgot this function a while ago in #92686

r? ```@thomcc```
  • Loading branch information
Dylan-DPC authored Oct 22, 2022
2 parents 141478b + 9b67910 commit 3f49f95
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion library/core/src/ptr/non_null.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ use crate::cmp::Ordering;
use crate::convert::From;
use crate::fmt;
use crate::hash;
use crate::intrinsics::assert_unsafe_precondition;
use crate::marker::Unsize;
use crate::mem::{self, MaybeUninit};
use crate::num::NonZeroUsize;
Expand Down Expand Up @@ -195,7 +196,10 @@ impl<T: ?Sized> NonNull<T> {
#[inline]
pub const unsafe fn new_unchecked(ptr: *mut T) -> Self {
// SAFETY: the caller must guarantee that `ptr` is non-null.
unsafe { NonNull { pointer: ptr as _ } }
unsafe {
assert_unsafe_precondition!([T: ?Sized](ptr: *mut T) => !ptr.is_null());
NonNull { pointer: ptr as _ }
}
}

/// Creates a new `NonNull` if `ptr` is non-null.
Expand Down

0 comments on commit 3f49f95

Please sign in to comment.