change loop invariant

Author: thanhnguyen-aws

library/core/src/str/pattern.rs

@@ -1958,8 +1958,8 @@ unsafe fn small_slice_eq(x: &[u8], y: &[u8]) -> bool {
     unsafe {
         let (mut px, mut py) = (x.as_ptr(), y.as_ptr());
         let (pxend, pyend) = (px.add(x.len() - 4), py.add(y.len() - 4));
-        #[loop_invariant(crate::ub_checks::same_allocation(x.as_ptr(), px)
-        && crate::ub_checks::same_allocation(y.as_ptr(), py)
+        #[loop_invariant(safety::mem::same_allocation(x.as_ptr(), px)
+        && safety::mem::same_allocation(y.as_ptr(), py)
         && px.addr() >= x.as_ptr().addr()
         && py.addr() >= y.as_ptr().addr()
         && px.addr() - x.as_ptr().addr() == py.addr() - y.as_ptr().addr())]