Allow pointer transmutes

model-checking · Nov 22, 2023 · b968497 · b968497
1 parent 0b6ba1e
commit b968497
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/library/kani/src/lib.rs b/library/kani/src/lib.rs
@@ -105,6 +105,7 @@ 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)
     }
@@ -116,6 +117,7 @@ impl<'a, 'b, T> Pointer<'a> for &'b mut T {
         std::mem::transmute(self as *mut T)
     }
 
+    #[allow(clippy::transmute_ptr_to_ref)]
     unsafe fn assignable(self) -> &'a mut Self::Inner {
         std::mem::transmute(self)
     }
@@ -127,6 +129,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 +141,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)
     }