From becbe8f73597c834e50ade0054abbf4a300bccbd Mon Sep 17 00:00:00 2001 From: Dan Cline <6798349+Rjected@users.noreply.github.com> Date: Thu, 20 Jun 2024 15:30:06 -0400 Subject: [PATCH] rm sealedheader manual proptest impl --- crates/primitives-traits/src/header/sealed.rs | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/crates/primitives-traits/src/header/sealed.rs b/crates/primitives-traits/src/header/sealed.rs index 654627bb8896..cd69792e887c 100644 --- a/crates/primitives-traits/src/header/sealed.rs +++ b/crates/primitives-traits/src/header/sealed.rs @@ -130,16 +130,6 @@ impl SealedHeader { } } -#[cfg(any(test, feature = "arbitrary"))] -impl proptest::arbitrary::Arbitrary for SealedHeader { - type Parameters = (); - fn arbitrary_with(_: Self::Parameters) -> Self::Strategy { - // map valid header strategy by sealing - crate::test_utils::valid_header_strategy().prop_map(|header| header.seal_slow()).boxed() - } - type Strategy = proptest::strategy::BoxedStrategy; -} - #[cfg(any(test, feature = "arbitrary"))] impl<'a> arbitrary::Arbitrary<'a> for SealedHeader { fn arbitrary(u: &mut arbitrary::Unstructured<'a>) -> arbitrary::Result {