clippy

Author: TomWambsgans

crates/backend/koala-bear/src/benchmark_poseidons.rs

@@ -19,7 +19,7 @@ fn bench_poseidon() {
     let poseidon1_16 = default_koalabear_poseidon1_16();
 
     // warming
-    let mut state_16: [crate::PackedMontyField31Neon<crate::KoalaBearParameters>; 16] = [FPacking::ZERO; 16];
+    let mut state_16: [FPacking; 16] = [FPacking::ZERO; 16];
     for _ in 0..1 << 15 {
         poseidon1_16.compress_in_place(&mut state_16);
     }

crates/lean_vm/src/isa/hint.rs

@@ -159,6 +159,7 @@ impl CustomHint {
                 let chunk_size = args[3].read_value(ctx.memory, ctx.fp)?.to_usize();
                 assert!(24_usize.is_multiple_of(chunk_size));
                 let mut memory_index_decomposed = decomposed_ptr;
+                #[allow(clippy::explicit_counter_loop)]
                 for i in 0..24 / chunk_size {
                     let value = F::from_usize((value >> (chunk_size * i)) & ((1 << chunk_size) - 1));
                     ctx.memory.set(memory_index_decomposed, value)?;