Fix clippy error

viperproject · Mar 25, 2024 · 9eb4046 · 9eb4046
1 parent dad0353
commit 9eb4046
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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(