use core::convert::TryInto; use proptest::collection::*; use proptest::prelude::*; pub fn array_strategy() -> impl Strategy { vec(any::(), N).prop_map(|v| v.try_into().unwrap()) } pub fn vec_strategy(n: usize) -> impl Strategy> { vec(any::(), n) }