Clippy

viperproject · Jan 25, 2023 · 51798e1 · 51798e1
1 parent 5fdcc88
commit 51798e1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/prusti-viper/src/encoder/resources/interface.rs b/prusti-viper/src/encoder/resources/interface.rs
@@ -37,7 +37,7 @@ impl<'p, 'v: 'p, 'tcx: 'v> ResourcesEncoderInterface
                     amount.into(),
                     scope_id,
                 ),
-                pos.clone(),
+                pos,
             )
         }));
         stmts.extend(scope_ids.iter().map(|&scope_id| {

diff --git a/vir/src/legacy/ast/expr.rs b/vir/src/legacy/ast/expr.rs
@@ -196,7 +196,7 @@ impl fmt::Display for Expr {
                 write!(f, "acc({pred_name}({arg}), {perm})")
             }
             Expr::ResourceAccessPredicate(resouce_name, amount, scope_id, _) => {
-                write!(f, "acc({}({}), {}/1)", resouce_name, scope_id, amount)
+                write!(f, "acc({resouce_name}({scope_id}), {amount}/1)")
             }
             Expr::FieldAccessPredicate(ref expr, perm, ref _pos) => {
                 write!(f, "acc({expr}, {perm})")