File tree 1 file changed +0
-4
lines changed
1 file changed +0
-4
lines changed Original file line number Diff line number Diff line change @@ -1299,15 +1299,11 @@ impl<T: ?Sized> NonNull<T> {
1299
1299
/// [`ptr::replace`]: crate::ptr::replace()
1300
1300
#[ inline( always) ]
1301
1301
#[ stable( feature = "non_null_convenience" , since = "1.80.0" ) ]
1302
- <<<<<<< HEAD
1303
1302
#[ cfg_attr( kani, kani:: modifies( self . as_ptr( ) ) ) ]
1304
1303
#[ requires( ub_checks:: can_dereference( self . as_ptr( ) ) ) ] // Ensure self is aligned, initialized, and valid for read
1305
1304
#[ requires( ub_checks:: can_write( self . as_ptr( ) ) ) ] // Ensure self is valid for write
1306
- pub unsafe fn replace ( self , src : T ) -> T
1307
- =======
1308
1305
#[ rustc_const_stable( feature = "const_inherent_ptr_replace" , since = "CURRENT_RUSTC_VERSION" ) ]
1309
1306
pub const unsafe fn replace ( self , src : T ) -> T
1310
- >>>>>>> subtree/library
1311
1307
where
1312
1308
T : Sized ,
1313
1309
{
You can’t perform that action at this time.
0 commit comments