This MR fixes various clippy lints. Each commit describes which lint it fixes. Two lints remain to be fixed:
- unused_must_use
- dead_code
If it gets merged, the commits will be squashed to not clutter the git history.
This MR fixes various clippy lints. Each commit describes which lint it fixes. Two lints remain to be fixed:
If it gets merged, the commits will be squashed to not clutter the git history.