chore: fix clippy lints

plaans · Aug 30, 2024 · 41ca398 · 41ca398
1 parent 71e515f
commit 41ca398
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/examples/smt/tests/smt.rs b/examples/smt/tests/smt.rs
@@ -525,7 +525,9 @@ fn test_max() {
         })
         .collect_vec();
 
-    let &[pa, pb, pc] = pais.as_slice() else { unreachable!() };
+    let &[_pa, pb, pc] = pais.as_slice() else {
+        unreachable!()
+    };
     let &[a, b, c] = ais.as_slice() else { unreachable!() };
 
     let max = model.new_ivar(0, 100, "max");

diff --git a/solver/src/reif/mod.rs b/solver/src/reif/mod.rs
@@ -80,10 +80,7 @@ impl ReifExpr {
 
     /// Returns true iff a given expression can be negated.
     pub fn negatable(&self) -> bool {
-        match self {
-            ReifExpr::Alternative(_) | ReifExpr::EqMax(_) => false,
-            _ => true,
-        }
+        !matches!(self, ReifExpr::Alternative(_) | ReifExpr::EqMax(_))
     }
 
     pub fn eval(&self, assignment: &Domains) -> Option<bool> {