The Rust compiler seems to automatically borrow arrays in a split_at/split_at_mut methodcall.
This PR adds a pass to strip unneeded borrows after translation and mutability inference, solving a large number of Clippy warnings in HACL-rs.
The relevant changes are at the very bottom of the file, the rest of the changes remove trailing whitespaces.
The Rust compiler seems to automatically borrow arrays in a split_at/split_at_mut methodcall. This PR adds a pass to strip unneeded borrows after translation and mutability inference, solving a large number of Clippy warnings in HACL-rs. The relevant changes are at the very bottom of the file, the rest of the changes remove trailing whitespaces.