Closed
Description
Despite Clippy already being broken in toolstate, #68432 (comment) failed to land due to Clippy not passing.
We had to fix clippy in #68442 so that PRs could start landing again.
It's unclear whether this is intentional or not.
Relevant discussion: https://discordapp.com/channels/442252698964721669/443148319431065610/669558059831394346.