Allow pointer transmutes

model-checking · Nov 22, 2023 · 9362624 · 9362624
1 parent 0b6ba1e
commit 9362624
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/library/kani/src/lib.rs b/library/kani/src/lib.rs
@@ -105,13 +105,16 @@ impl<'a, 'b, T> Pointer<'a> for &'b T {
         std::mem::transmute(self)
     }
 
+    #[allow(clippy::transmute_ptr_to_ref)]
     unsafe fn assignable(self) -> &'a mut Self::Inner {
         std::mem::transmute(self as *const T)
     }
 }
 
 impl<'a, 'b, T> Pointer<'a> for &'b mut T {
     type Inner = T;
+
+    #[allow(clippy::transmute_ptr_to_ref)]
     unsafe fn decouple_lifetime(self) -> &'a Self::Inner {
         std::mem::transmute(self as *mut T)
     }
@@ -127,6 +130,7 @@ impl<'a, T> Pointer<'a> for *const T {
         &*self as &'a T
     }
 
+    #[allow(clippy::transmute_ptr_to_ref)]
     unsafe fn assignable(self) -> &'a mut Self::Inner {
         std::mem::transmute(self)
     }
@@ -138,6 +142,7 @@ impl<'a, T> Pointer<'a> for *mut T {
         &*self as &'a T
     }
 
+    #[allow(clippy::transmute_ptr_to_ref)]
     unsafe fn assignable(self) -> &'a mut Self::Inner {
         std::mem::transmute(self)
     }