Two minor clippy fixes

Author: zhassan-aws

kani-compiler/src/codegen_cprover_gotoc/archive.rs

@@ -59,8 +59,7 @@ impl<'a> ArchiveBuilder<'a> {
         let entries = self.entries.iter().map(|(entry_name, file)| {
             let data = std::fs::read(file).unwrap_or_else(|err| {
                 sess.fatal(&format!(
-                    "error while reading object file during archive building: {}",
-                    err
+                    "error while reading object file during archive building: {err}"
                 ));
             });
             (entry_name, data)

kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs

@@ -376,7 +376,7 @@ impl<'tcx> GotocCtx<'tcx> {
             let first_target = targets.iter().next().unwrap();
             Stmt::block(
                 vec![
-                    v.eq(Expr::int_constant(first_target.0, switch_ty.clone())).if_then_else(
+                    v.eq(Expr::int_constant(first_target.0, switch_ty)).if_then_else(
                         Stmt::goto(self.current_fn().find_label(&first_target.1), loc),
                         None,
                         loc,