add cfg(kani)

Author: carolynzech

library/core/src/num/saturating.rs

@@ -6,6 +6,9 @@ use crate::ops::{
     Mul, MulAssign, Neg, Not, Rem, RemAssign, Sub, SubAssign,
 };
 
+#[cfg(kani)]
+use crate::kani;
+
 /// Provides intentionally-saturating arithmetic on `T`.
 ///
 /// Operations like `+` on `u32` values are intended to never overflow,

library/core/src/num/wrapping.rs

@@ -6,6 +6,9 @@ use crate::ops::{
     Mul, MulAssign, Neg, Not, Rem, RemAssign, Shl, ShlAssign, Shr, ShrAssign, Sub, SubAssign,
 };
 
+#[cfg(kani)]
+use crate::kani;
+
 /// Provides intentionally-wrapped arithmetic on `T`.
 ///
 /// Operations like `+` on `u32` values are intended to never overflow,