Fix clippy lint errors

Changes

1 changed files (+2/-3)

• src/main.rs
  • @@ -1,4 +1,3 @@
    - use dafny_runtime; use fenwick::_module::fenwick; use rand::Rng; use rusqlite::{params, Connection, Result};
  • @@ -44,8 +43,8 @@ // Example for how to use Dafny-generated Rust:
    // https://github.com/dafny-lang/dafny/blob/7bf2d6ad221df94c4a291b58e97a701da441dce0/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/arc/tokiouser-rust/src/main.rs let obj = fenwick::_allocate_object(); let seq = a[1..=n] - .into_iter() - .map(|x| dafny_runtime::DafnyInt::from_i32(x.clone())) + .iter() + .map(|x| dafny_runtime::DafnyInt::from_i32(*x)) .collect(); fenwick::_ctor(&obj, &seq); let ft = dafny_runtime::rd!(obj);