portable-simd no longer provides a ToBitMask trait

model-checking · Dec 4, 2023 · 86c81b0 · 86c81b0
1 parent fa0e758
commit 86c81b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/kani/SIMD/portable_simd.rs b/tests/kani/SIMD/portable_simd.rs
@@ -4,7 +4,7 @@
 //! Ensure we have basic support of portable SIMD.
 #![feature(portable_simd)]
 
-use std::simd::{mask32x4, u64x16, ToBitMask};
+use std::simd::{mask32x4, u64x16};
 
 #[kani::proof]
 fn check_sum_any() {