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
..
2022-09-13 15:38:11 +03:00
2022-08-23 10:05:52 +03:00
2022-08-09 07:23:57 +03:00
2022-07-20 15:02:08 +02:00
2022-12-23 02:52:14 -05:00
2022-11-23 17:24:03 +02:00
2022-09-20 17:39:17 +03:00
2023-01-02 15:02:54 +00:00
2022-08-30 14:51:24 +03:00
2022-07-20 15:02:08 +02:00
2022-07-20 15:02:08 +02:00