diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs
index 8b3f771756dc..e44323f355cb 100644
--- a/library/kani/src/models/mod.rs
+++ b/library/kani/src/models/mod.rs
@@ -184,20 +184,6 @@ mod test {
         check_bitmask::<_, [u8; 9], i128, 70>(CustomMask([-1i128; 70]));
     }
 
-    /// Compare the value returned by our model and the portable simd representation.
-    fn check_portable_bitmask<T, E, const LANES: usize>(mask: T)
-    where
-        T: ToBitMask + Clone,
-        T::BitMask: Debug + PartialEq,
-        E: kani_intrinsic::MaskElement,
-        [u8; kani_intrinsic::mask_len(LANES)]: Sized,
-    {
-        assert_eq!(
-            unsafe { kani_intrinsic::simd_bitmask::<_, T::BitMask, E, LANES>(mask.clone()) },
-            mask.to_bitmask()
-        );
-    }
-
     /// Compare the value returned by our model and the simd_bitmask intrinsic.
     fn check_bitmask<T, U, E, const LANES: usize>(mask: T)
     where