lint

nascentxyz · Jul 22, 2024 · 2c0a834 · 2c0a834
1 parent 26ae57a
commit 2c0a834
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git 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
@@ -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(),
             )),