From 31c8871273d530ebeb7f0b4589328c6f8807d936 Mon Sep 17 00:00:00 2001 From: Pialex99 Date: Wed, 25 Jan 2023 17:01:21 +0100 Subject: [PATCH] Clippy --- prusti-viper/src/encoder/resources/interface.rs | 2 +- vir/src/legacy/ast/expr.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prusti-viper/src/encoder/resources/interface.rs b/prusti-viper/src/encoder/resources/interface.rs index fe62b039062..eb85fef7572 100644 --- 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 index 87b68b2d6c5..56c9ba7d8d8 100644 --- 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})")