clippy

Author: morganthomas

crates/lean_compiler/src/a_simplify_lang.rs

@@ -538,7 +538,7 @@ fn simplify_lines(
                     } else if let Ok(right) = right.clone().try_into() {
                         (right, left)
                     } else {
-                        panic!("Unsupported equality assertion: {:?}, {:?}", left, right)
+                        panic!("Unsupported equality assertion: {left:?}, {right:?}")
                     };
                     res.push(SimpleLine::Assignment {
                         var,

crates/lean_compiler/src/b_compile_intermediate.rs

@@ -554,7 +554,7 @@ fn compile_lines(
             }
             SimpleLine::PrivateInputStart { result } => {
                 if !compiler.is_in_scope(result) {
-                    let mut current_scope_layout = compiler.stack_frame_layout.scopes.last_mut().unwrap();
+                    let current_scope_layout = compiler.stack_frame_layout.scopes.last_mut().unwrap();
                     current_scope_layout
                         .var_positions
                         .insert(result.clone(), compiler.stack_pos);

crates/lookup/src/quotient_gkr.rs

@@ -220,7 +220,7 @@ fn sum_quotients_helper<F: PrimeCharacteristicRing + Sync + Send + Copy>(
 ) -> Vec<Vec<F>> {
     assert_eq!(numerators_and_denominators.len(), n_groups);
     let n = numerators_and_denominators[0].len();
-    assert!(n.is_power_of_two() && n >= 2, "n = {}", n);
+    assert!(n.is_power_of_two() && n >= 2, "n = {n}");
     let mut new_numerators = Vec::new();
     let mut new_denominators = Vec::new();
     let (prev_numerators, prev_denominators) = numerators_and_denominators.split_at(n_groups / 2);