bors f77b68a3cb Auto merge of #13860 - danieleades:clippy, r=lnicola ... fix a bunch of clippy lints fixes a bunch of clippy lints for fun and profit i'm aware of this repo's position on clippy. The changes are split into separate commits so they can be reviewed separately		2023-01-08 17:29:57 +00:00
..
slow-tests	Auto merge of #13860 - danieleades:clippy, r=lnicola	2023-01-08 17:29:57 +00:00