Improvements prompted by clippy, and disable one lint

Ian Jacksonrequested to merge
Diziet/arti:clippy into main

Improvements prompted by current nightly's clippy.

Also disable one lint which I think is in rather poor taste.

Merge request reports