Update non_null.rs

Dhvani-Kapadia · web-flow · commit d40409766736 · 2024-11-27T12:04:30.000-08:00
diff --git a/library/core/src/ptr/non_null.rs b/library/core/src/ptr/non_null.rs
@@ -2381,7 +2381,7 @@ mod verify {
         let mut values: [i32; ARR_LEN] = kani::any();
         let slice = kani::slice::any_slice_of_array_mut(&mut values);
         let non_null_ptr = NonNull::new(slice as *mut [i32]).unwrap();
-        let result = slice_ptr.as_non_null_ptr();
+        let result = non_null_ptr.as_non_null_ptr();
      } 
   
     #[kani::proof]

Original file line number	Diff line number	Diff line change
`@@ -2381,7 +2381,7 @@ mod verify {`
`2381`	`2381`	`let mut values: [i32; ARR_LEN] = kani::any();`
`2382`	`2382`	`let slice = kani::slice::any_slice_of_array_mut(&mut values);`
`2383`	`2383`	`let non_null_ptr = NonNull::new(slice as *mut [i32]).unwrap();`
`2384`		`- let result = slice_ptr.as_non_null_ptr();`
	`2384`	`+ let result = non_null_ptr.as_non_null_ptr();`
`2385`	`2385`	`}`
`2386`	`2386`
`2387`	`2387`	`#[kani::proof]`