From 9eb40466187a3c1eff353cca22d741d614b982f1 Mon Sep 17 00:00:00 2001
From: Federico Poli <federpoli@gmail.com>
Date: Mon, 25 Mar 2024 15:26:14 +0100
Subject: [PATCH] Fix clippy error

---
 vir/defs/polymorphic/ast/expr.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vir/defs/polymorphic/ast/expr.rs b/vir/defs/polymorphic/ast/expr.rs
index d3198e97723..fbf928b3588 100644
--- a/vir/defs/polymorphic/ast/expr.rs
+++ b/vir/defs/polymorphic/ast/expr.rs
@@ -315,6 +315,7 @@ impl Expr {
         Expr::not(Expr::eq_cmp(left, right))
     }
 
+    #[allow(clippy::should_implement_trait)]
     /// Encode Rust's division. This is *not* Viper's division.
     pub fn div(left: Expr, right: Expr) -> Self {
         Expr::ite(
@@ -329,6 +330,7 @@ impl Expr {
         )
     }
 
+    #[allow(clippy::should_implement_trait)]
     /// Encode Rust's signed reminder. This is *not* Viper's modulo.
     pub fn rem(left: Expr, right: Expr) -> Self {
         let abs_right = Expr::ite(