diff --git a/src/taint/ssa_transfer/mod.rs b/src/taint/ssa_transfer/mod.rs
index d51112bb..547cb194 100644
--- a/src/taint/ssa_transfer/mod.rs
+++ b/src/taint/ssa_transfer/mod.rs
@@ -5763,8 +5763,7 @@ pub(super) fn transfer_inst(
                 for &u in uses {
                     if state.get(u).is_some() {
                         saw_tainted = true;
-                        let (am, av) =
-                            ssa_value_validated_bits(u, ssa, transfer.interner, state);
+                        let (am, av) = ssa_value_validated_bits(u, ssa, transfer.interner, state);
                         tainted_must_all &= am;
                         tainted_may_any |= av;
                     }
diff --git a/src/taint/ssa_transfer/summary_extract.rs b/src/taint/ssa_transfer/summary_extract.rs
index 3f742e2f..88e7c296 100644
--- a/src/taint/ssa_transfer/summary_extract.rs
+++ b/src/taint/ssa_transfer/summary_extract.rs
@@ -65,9 +65,9 @@ fn rv_traces_to_constant(
         }
         Some(SsaOp::Phi(operands)) => {
             !operands.is_empty()
-                && operands
-                    .iter()
-                    .all(|(_, u)| rv_traces_to_constant(ssa, *u, all_param_values, depth + 1, budget))
+                && operands.iter().all(|(_, u)| {
+                    rv_traces_to_constant(ssa, *u, all_param_values, depth + 1, budget)
+                })
         }
         _ => false,
     }