Merge pull request #85 from Bram-Hub/clippy-fix

Suppress redundant closure
Bram-Hub · Apr 28, 2022 · 65576cb · 65576cb
2 parents 03819f8 + e176550
commit 65576cb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/aris/src/proofs.rs b/aris/src/proofs.rs
@@ -187,9 +187,11 @@ pub type JsRef<P> = Coprod!(<P as Proof>::JustificationReference, <P as Proof>::
 pub type PjsRef<P> = Coprod!(<P as Proof>::PremiseReference, <P as Proof>::JustificationReference, <P as Proof>::SubproofReference);
 type JustVal<P> = Justification<Expr, PjRef<P>, <P as Proof>::SubproofReference>;
 
+#[allow(clippy::redundant_closure)]
 pub fn js_to_pjs<P: Proof>(js: JsRef<P>) -> PjsRef<P> {
     js.fold(hlist![|x| Coproduct::inject(x), |x| Coproduct::inject(x)])
 }
+#[allow(clippy::redundant_closure)]
 pub fn pj_to_pjs<P: Proof>(pj: PjRef<P>) -> PjsRef<P> {
     pj.fold(hlist![|x| Coproduct::inject(x), |x| Coproduct::inject(x)])
 }

diff --git a/aris/src/rules.rs b/aris/src/rules.rs
@@ -495,6 +495,8 @@ impl RuleT for PrepositionalInference {
             OrElim | BiconditionalIntro | EquivalenceIntro => None,
         }
     }
+
+    #[allow(clippy::redundant_closure)]
     fn check<P: Proof>(self, p: &P, conclusion: Expr, deps: Vec<PjRef<P>>, sdeps: Vec<P::SubproofReference>) -> Result<(), ProofCheckError<PjRef<P>, P::SubproofReference>> {
         use PrepositionalInference::*;
         use ProofCheckError::*;