From 9c51104342d17a69b46990aa39e62e084d26ee0f Mon Sep 17 00:00:00 2001
From: loutr <l.ta-ma@proton.me>
Date: Thu, 1 Dec 2022 06:26:00 +0100
Subject: [PATCH] fix(type_checker): apply new clippy suggestion
---
kernel/src/type_checker.rs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/kernel/src/type_checker.rs b/kernel/src/type_checker.rs
index 2b574a83..e577d8a4 100644
--- a/kernel/src/type_checker.rs
+++ b/kernel/src/type_checker.rs
@@ -48,11 +48,11 @@ impl<'arena> Arena<'arena> {
fn conversion(&mut self, lhs: Term<'arena>, rhs: Term<'arena>) -> bool {
lhs == rhs
|| match (&*self.whnf(lhs), &*self.whnf(rhs)) {
- (&Prop, &Prop) => true,
+ (Prop, Prop) => true,
- (&Type(ref i), &Type(ref j)) => i == j,
+ (Type(i), Type(j)) => *i == *j,
- (&Var(i, _), &Var(j, _)) => i == j,
+ (Var(i, _), Var(j, _)) => i == j,
(&Prod(t1, u1), &Prod(t2, u2)) => {
self.conversion(t1, t2) && self.conversion(u1, u2)
--
GitLab