Fix clippy::match_like_matches_macro

Author: Kinrany

chalk-engine/src/context.rs

@@ -27,10 +27,7 @@ pub enum AnswerResult<I: Interner> {
 
 impl<I: Interner> AnswerResult<I> {
     pub fn is_answer(&self) -> bool {
-        match self {
-            Self::Answer(_) => true,
-            _ => false,
-        }
+        matches!(self, Self::Answer(_))
     }
 
     pub fn answer(self) -> CompleteAnswer<I> {
@@ -41,17 +38,11 @@ impl<I: Interner> AnswerResult<I> {
     }
 
     pub fn is_no_more_solutions(&self) -> bool {
-        match self {
-            Self::NoMoreSolutions => true,
-            _ => false,
-        }
+        matches!(self, Self::NoMoreSolutions)
     }
 
     pub fn is_quantum_exceeded(&self) -> bool {
-        match self {
-            Self::QuantumExceeded => true,
-            _ => false,
-        }
+        matches!(self, Self::QuantumExceeded)
     }
 }
 

chalk-ir/src/lib.rs

@@ -486,26 +486,20 @@ impl<I: Interner> Ty<I> {
 
     /// Returns true if this is an `Alias`.
     pub fn is_alias(&self, interner: I) -> bool {
-        match self.kind(interner) {
-            TyKind::Alias(..) => true,
-            _ => false,
-        }
+        matches!(self.kind(interner), TyKind::Alias(..))
     }
 
     /// Returns true if this is an `IntTy` or `UintTy`.
     pub fn is_integer(&self, interner: I) -> bool {
-        match self.kind(interner) {
-            TyKind::Scalar(Scalar::Int(_)) | TyKind::Scalar(Scalar::Uint(_)) => true,
-            _ => false,
-        }
+        matches!(
+            self.kind(interner),
+            TyKind::Scalar(Scalar::Int(_) | Scalar::Uint(_))
+        )
     }
 
     /// Returns true if this is a `FloatTy`.
     pub fn is_float(&self, interner: I) -> bool {
-        match self.kind(interner) {
-            TyKind::Scalar(Scalar::Float(_)) => true,
-            _ => false,
-        }
+        matches!(self.kind(interner), TyKind::Scalar(Scalar::Float(_)))
     }
 
     /// Returns `Some(adt_id)` if this is an ADT, `None` otherwise

chalk-parse/src/ast.rs

@@ -525,10 +525,7 @@ pub enum FnArgs {
 
 impl FnArgs {
     pub fn is_variadic(&self) -> bool {
-        match self {
-            Self::Variadic(..) => true,
-            _ => false,
-        }
+        matches!(self, Self::Variadic(..))
     }
 
     pub fn to_tys(self) -> Vec<Ty> {

chalk-recursive/src/fulfill.rs

@@ -26,10 +26,7 @@ enum Outcome {
 
 impl Outcome {
     fn is_complete(&self) -> bool {
-        match *self {
-            Outcome::Complete => true,
-            _ => false,
-        }
+        matches!(self, Outcome::Complete)
     }
 }
 

chalk-solve/src/clauses/builtin_traits/fn_family.rs

@@ -111,13 +111,12 @@ pub fn add_fn_trait_program_clauses<I: Interner>(
         }
         TyKind::Closure(closure_id, substitution) => {
             let closure_kind = db.closure_kind(*closure_id, substitution);
-            let trait_matches = match (well_known, closure_kind) {
-                (WellKnownTrait::Fn, ClosureKind::Fn) => true,
-                (WellKnownTrait::FnMut, ClosureKind::FnMut)
-                | (WellKnownTrait::FnMut, ClosureKind::Fn) => true,
-                (WellKnownTrait::FnOnce, _) => true,
-                _ => false,
-            };
+            let trait_matches = matches!(
+                (well_known, closure_kind),
+                (WellKnownTrait::Fn, ClosureKind::Fn)
+                    | (WellKnownTrait::FnMut, ClosureKind::FnMut | ClosureKind::Fn)
+                    | (WellKnownTrait::FnOnce, _)
+            );
             if !trait_matches {
                 return Ok(());
             }