diff --git a/library/core/src/ptr/non_null.rs b/library/core/src/ptr/non_null.rs
index 04ded461a893d..4895064ef316e 100644
--- a/library/core/src/ptr/non_null.rs
+++ b/library/core/src/ptr/non_null.rs
@@ -1783,7 +1783,7 @@ mod verify {
 
     // pub const unsafe fn new_unchecked(ptr: *mut T) -> Self
     #[kani::proof_for_contract(NonNull::new_unchecked)]
-    pub fn check_new_unchecked() {
+    pub fn non_null_check_new_unchecked() {
         let mut x : i32 = kani::any();
         let xptr = &mut x;
         unsafe {