From fcae824acaecb00ec69540655deb9d2ac016f2b3 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 4 Dec 2023 23:43:14 +0000
Subject: [PATCH] Compiles, test still fails

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

diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs
index a790d5e9645e..a21cb1c5ab37 100644
--- a/library/kani/src/models/mod.rs
+++ b/library/kani/src/models/mod.rs
@@ -185,8 +185,10 @@ 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)
+    fn check_portable_bitmask<T, E, const LANES: usize>(mask: Mask<T, LANES>)
     where
+        T: std::simd::MaskElement,
+        LaneCount<LANES>: SupportedLaneCount,
         E: kani_intrinsic::MaskElement,
         [u8; kani_intrinsic::mask_len(LANES)]: Sized,
     {