From 6207f88af359b3b0a5d91850d6d00f20256f7d1e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 4 Dec 2023 23:01:05 +0000
Subject: [PATCH] Fix with u64

---
 library/kani/src/models/mod.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs
index 8b3f771756dc..a790d5e9645e 100644
--- a/library/kani/src/models/mod.rs
+++ b/library/kani/src/models/mod.rs
@@ -187,13 +187,11 @@ mod test {
     /// 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()) },
+            unsafe { kani_intrinsic::simd_bitmask::<_, u64, E, LANES>(mask.clone()) },
             mask.to_bitmask()
         );
     }