diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs
index 199c8c69209e..e63e819ead9d 100644
--- a/library/kani/src/models/mod.rs
+++ b/library/kani/src/models/mod.rs
@@ -69,7 +69,9 @@ mod intrinsics {
     }
 
     #[cfg(target_endian = "little")]
-    unsafe fn simd_bitmask_impl<T, const LANES: usize, const MASK_LEN: usize>(input: &[T; LANES]) -> [u8; MASK_LEN]
+    unsafe fn simd_bitmask_impl<T, const LANES: usize, const MASK_LEN: usize>(
+        input: &[T; LANES],
+    ) -> [u8; MASK_LEN]
     where
         T: MaskElement,
     {
@@ -126,7 +128,7 @@ mod intrinsics {
 #[cfg(test)]
 mod test {
     use super::intrinsics as kani_intrinsic;
-    use std::{fmt::Debug, simd::*, mem::size_of};
+    use std::{fmt::Debug, mem::size_of, simd::*};
 
     extern "platform-intrinsic" {
         fn simd_bitmask<T, U>(x: T) -> U;
@@ -154,7 +156,9 @@ mod test {
     /// Tests that the model correctly fails if the size parameter of the mask doesn't match the
     /// expected number of bytes in the representation.
     #[test]
-    #[should_panic(expected = "Expected size of return type to be greater or equal to the mask lanes")]
+    #[should_panic(
+        expected = "Expected size of return type to be greater or equal to the mask lanes"
+    )]
     fn test_invalid_generics() {
         let mask = mask32x32::splat(false);
         assert_eq!(unsafe { kani_intrinsic::simd_bitmask::<_, u8, i32, 32>(mask) }, u8::MAX);