Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Disable clippy lint needless_pass_by_ref_mut
We sometimes use &mut to guarantee exclusive access to some ressource, where the compiler can't see that such a guarantee is needed for soundness. Therefore, warnings about needles &mut references should not be generated.
- Loading branch information