chore: clippy multiple bound

succinctlabs · Mar 5, 2024 · 693e85c · 693e85c
1 parent d480965
commit 693e85c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/starkyx/src/chip/table/lookup/values/constraint.rs b/starkyx/src/chip/table/lookup/values/constraint.rs
@@ -12,8 +12,9 @@ use crate::chip::AirParameters;
 use crate::math::prelude::*;
 
 impl<T: EvalCubic, F: Field, E: CubicParameters<F>> LogLookupValues<T, F, E> {
-    pub(crate) fn eval<AP: CubicParser<E>>(&self, parser: &mut AP)
+    pub(crate) fn eval<AP>(&self, parser: &mut AP)
     where
+        AP: CubicParser<E>,
         AP: AirParser<Field = F>,
     {
         let beta = self.challenge.eval(parser);
@@ -27,8 +28,9 @@ impl<T: EvalCubic, F: Field, E: CubicParameters<F>> LogLookupValues<T, F, E> {
         );
     }
 
-    pub(crate) fn eval_global<AP: CubicParser<E>>(&self, parser: &mut AP)
+    pub(crate) fn eval_global<AP>(&self, parser: &mut AP)
     where
+        AP: CubicParser<E>,
         AP: AirParser<Field = F>,
     {
         let beta = self.challenge.eval(parser);

diff --git a/starkyx/src/plonky2/stark/mod.rs b/starkyx/src/plonky2/stark/mod.rs
@@ -172,7 +172,7 @@ pub(crate) mod tests {
 
     /// Generate the proof and verify as a stark
     pub(crate) fn test_starky<
-        A: 'static + Debug + Send + Sync,
+        A,
         T,
         F: RichField + Extendable<D>,
         C: CurtaConfig<D, F = F, FE = F::Extension>,
@@ -183,6 +183,7 @@ pub(crate) mod tests {
         trace_generator: &T,
         public_inputs: &[F],
     ) where
+        A: 'static + Debug + Send + Sync,
         A: StarkyAir<F, D>,
         T: TraceGenerator<F, A>,
         T::Error: Into<anyhow::Error>,