Rename typed_swap to typed_swap_nonoverlapping.

Propagated from rust-lang/rust#134757.

Author: Remi Delmas

tests/kani/Intrinsics/typed_swap.rs renamed to tests/kani/Intrinsics/typed_swap_nonoverlapping.rs

@@ -1,8 +1,8 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 
-// Check that `typed_swap` yields the expected results.
-// https://doc.rust-lang.org/nightly/std/intrinsics/fn.typed_swap.html
+// Check that `typed_swap_nonoverlapping` yields the expected results.
+// https://doc.rust-lang.org/nightly/std/intrinsics/fn.typed_swap_nonoverlapping.html
 
 #![feature(core_intrinsics)]
 #![allow(internal_features)]
@@ -14,7 +14,7 @@ fn test_typed_swap_u32() {
     let mut b: u32 = kani::any();
     let b_before = b;
     unsafe {
-        std::intrinsics::typed_swap(&mut a, &mut b);
+        std::intrinsics::typed_swap_nonoverlapping(&mut a, &mut b);
     }
     assert!(b == a_before);
     assert!(a == b_before);