Arie CR: clone -> implicit copy

pickx · 1arie1 · commit 62c18cd22e64 · 2025-11-02T11:22:41.000-05:00
diff --git a/lang/src/accounts/interface_account.rs b/lang/src/accounts/interface_account.rs
@@ -184,7 +184,7 @@ impl<'a, T: AccountSerialize + AccountDeserialize + Clone> InterfaceAccount<'a,
 
     /// CERTORA: used to create a new instance for verification purposes
     pub fn new_unchecked(account: Account<'a, T>) -> Self {
-        let owner = account.info.owner.clone();
+        let owner = *account.info.owner;
         Self { account, owner }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -184,7 +184,7 @@ impl<'a, T: AccountSerialize + AccountDeserialize + Clone> InterfaceAccount<'a,`
`184`	`184`
`185`	`185`	`/// CERTORA: used to create a new instance for verification purposes`
`186`	`186`	`pub fn new_unchecked(account: Account<'a, T>) -> Self {`
`187`		`- let owner = account.info.owner.clone();`
	`187`	`+ let owner = *account.info.owner;`
`188`	`188`	`Self { account, owner }`
`189`	`189`	`}`
`190`	`190`