derive kani::Arbitrary for Wrapping and Saturating types

Author: carolynzech

library/core/src/num/saturating.rs

@@ -35,6 +35,7 @@ use crate::ops::{
 #[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Copy, Default, Hash)]
 #[repr(transparent)]
 #[rustc_diagnostic_item = "Saturating"]
+#[cfg_attr(kani, derive(kani::Arbitrary))]
 pub struct Saturating<T>(#[stable(feature = "saturating_int_impl", since = "1.74.0")] pub T);
 
 #[stable(feature = "saturating_int_impl", since = "1.74.0")]

library/core/src/num/wrapping.rs

@@ -40,6 +40,7 @@ use crate::ops::{
 #[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Copy, Default, Hash)]
 #[repr(transparent)]
 #[rustc_diagnostic_item = "Wrapping"]
+#[cfg_attr(kani, derive(kani::Arbitrary))]
 pub struct Wrapping<T>(#[stable(feature = "rust1", since = "1.0.0")] pub T);
 
 #[stable(feature = "rust1", since = "1.0.0")]