Clippy

tautschnig · Feb 13, 2025 · 0cf1798 · 0cf1798
1 parent 4c11cdc
commit 0cf1798
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs
@@ -271,7 +271,7 @@ impl GotocCtx<'_> {
                         )
                     }
                     // For all other assert kind we can get the static message.
-                    AssertMessage::NullPointerDereference { .. } => {
+                    AssertMessage::NullPointerDereference => {
                         (msg.description().unwrap(), PropertyClass::SafetyCheck)
                     }
                     AssertMessage::Overflow { .. }

diff --git a/kani-compiler/src/kani_middle/transform/body.rs b/kani-compiler/src/kani_middle/transform/body.rs
@@ -205,7 +205,7 @@ impl MutableBody {
             Operand::Copy(Place::from(self.new_local(assert_fn.ty(), span, Mutability::Not)));
         let kind = TerminatorKind::Call {
             func: assert_op,
-            args: args,
+            args,
             destination: Place {
                 local: self.new_local(Ty::new_tuple(&[]), span, Mutability::Not),
                 projection: vec![],