File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1299,15 +1299,11 @@ impl<T: ?Sized> NonNull<T> {
12991299 /// [`ptr::replace`]: crate::ptr::replace()
13001300 #[ inline( always) ]
13011301 #[ stable( feature = "non_null_convenience" , since = "1.80.0" ) ]
1302- <<<<<<< HEAD
13031302 #[ cfg_attr( kani, kani:: modifies( self . as_ptr( ) ) ) ]
13041303 #[ requires( ub_checks:: can_dereference( self . as_ptr( ) ) ) ] // Ensure self is aligned, initialized, and valid for read
13051304 #[ requires( ub_checks:: can_write( self . as_ptr( ) ) ) ] // Ensure self is valid for write
1306- pub unsafe fn replace ( self , src : T ) -> T
1307- =======
13081305 #[ rustc_const_stable( feature = "const_inherent_ptr_replace" , since = "CURRENT_RUSTC_VERSION" ) ]
13091306 pub const unsafe fn replace ( self , src : T ) -> T
1310- >>>>>>> subtree/library
13111307 where
13121308 T : Sized ,
13131309 {
You can’t perform that action at this time.
0 commit comments