Update same_allocation.rs

Author: celinval

tests/kani/MemPredicates/same_allocation.rs

@@ -82,9 +82,9 @@ fn check_same_alloc_slice() {
     let mut generator = PointerGenerator::<100>::new();
     let ArbitraryPointer { ptr: ptr1, .. } = generator.any_in_bounds::<[u16; 4]>();
     let ArbitraryPointer { ptr: ptr2, .. } = generator.any_in_bounds::<[u16; 10]>();
-    let dyn_1 = ptr1 as *const [_];
-    let dyn_2 = ptr2 as *const [_];
-    assert!(same_allocation(dyn_1, dyn_2));
+    let slice_1 = ptr1 as *const [_];
+    let slice_2 = ptr2 as *const [_];
+    assert!(same_allocation(slice_1, slice_2));
 }
 
 #[kani::proof]
@@ -93,7 +93,7 @@ fn check_not_same_alloc_slice() {
     let mut generator2 = PointerGenerator::<100>::new();
     let ArbitraryPointer { ptr: ptr1, .. } = generator1.any_in_bounds::<[u16; 4]>();
     let ArbitraryPointer { ptr: ptr2, .. } = generator2.any_in_bounds::<[u16; 10]>();
-    let dyn_1 = ptr1 as *const [_];
-    let dyn_2 = ptr2 as *const [_];
-    assert!(!same_allocation(dyn_1, dyn_2));
+    let slice_1 = ptr1 as *const [_];
+    let slice_2 = ptr2 as *const [_];
+    assert!(!same_allocation(slice_1, slice_2));
 }