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
..
main.rs	use inline format args	2023-01-02 14:52:32 +00:00
sourcegen.rs	remove needless borrows	2023-01-02 14:52:32 +00:00
support.rs	Inline all format arguments where possible	2022-12-24 14:36:10 -05:00
testdir.rs	Inline all format arguments where possible	2022-12-24 14:36:10 -05:00
tidy.rs	Auto merge of #13860 - danieleades:clippy, r=lnicola	2023-01-08 17:29:57 +00:00