diff --git a/crates/graph/src/solvers/brute.rs b/crates/graph/src/solvers/brute.rs
index 3947e7f6..e2a67f96 100644
--- a/crates/graph/src/solvers/brute.rs
+++ b/crates/graph/src/solvers/brute.rs
@@ -784,8 +784,6 @@ impl SolcSolver for BruteBinSearchSolver {
                 if new_range.unsat(analyzer, arena) {
                     // figure out *where* we need to increase or decrease
                     // work on the unreplace range for now
-                    let min_is_dependent = !range.min.dependent_on(analyzer, arena).is_empty();
-                    let max_is_dependent = !range.max.dependent_on(analyzer, arena).is_empty();
 
                     // compare new range to prev range to see if they moved down or up
 
diff --git a/crates/solc-expressions/src/variable.rs b/crates/solc-expressions/src/variable.rs
index 7564a86f..560b2415 100644
--- a/crates/solc-expressions/src/variable.rs
+++ b/crates/solc-expressions/src/variable.rs
@@ -472,7 +472,7 @@ pub trait Variable: AnalyzerBackend<Expr = Expression, ExprErr = ExprErr> + Size
                         .all(|e| *e))
                 }
             }
-            (e, f) => Err(ExprErr::Todo(
+            (_, _) => Err(ExprErr::Todo(
                 loc,
                 "Unhandled ExprRet combination in `match_var_def`".to_string(),
             )),