From e947a62483400b21fe3f085bddb6058ad5cfde3e Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Fri, 8 Sep 2023 10:17:41 -0700 Subject: [PATCH] suppress incorrect Clippy error --- plonky2/src/gates/selectors.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/plonky2/src/gates/selectors.rs b/plonky2/src/gates/selectors.rs index ef2dec81..6e9718db 100644 --- a/plonky2/src/gates/selectors.rs +++ b/plonky2/src/gates/selectors.rs @@ -121,6 +121,10 @@ pub(crate) fn selector_polynomials, const D: usize> // Special case if we can use only one selector polynomial. if max_gate_degree + num_gates - 1 <= max_degree { + // We *want* `groups` to be a vector containing one Range (all gates are in one selector group), + // but Clippy doesn't trust us. + #[allow(clippy::single_range_in_vec_init)] + return ( vec![PolynomialValues::new( instances