From d6d2a146be391407df89e29cec76aeba837e036b Mon Sep 17 00:00:00 2001 From: Philippe-Cholet Date: Thu, 28 Sep 2023 21:14:20 +0200 Subject: [PATCH] Test powerset specializations Truncated to be fast enough. --- tests/specializations.rs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tests/specializations.rs b/tests/specializations.rs index efc8ba6ef..e9bfb5ccb 100644 --- a/tests/specializations.rs +++ b/tests/specializations.rs @@ -75,6 +75,12 @@ quickcheck! { fn intersperse(v: Vec) -> () { test_specializations(&v.into_iter().intersperse(0)); } + + fn powerset(a: Vec) -> () { + let mut a = a; + a.truncate(6); + test_specializations(&a.iter().powerset()) + } } quickcheck! {