chiark / gitweb /
clippy: Suppress a buggy lint
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 01:25:56 +0000 (02:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 01:25:56 +0000 (02:25 +0100)
This fires on process_all_players_for_account, but the collect
*is* needed and the suggestion doesn't compile.

I wasn't able to make a minimal repro, but there is what looks like a
report of the same thing (and many other issues with this lint).

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
clippy-options

index db2ad2d9ded1842a50640ebe88a5900b92978019..12f8a439ace795bd33cb7c3f613b9dcd0e6941b8 100644 (file)
@@ -23,3 +23,4 @@
 -A clippy::len_zero
 -A clippy::len_without_is_empty # I prefer comparing .len() to 0, apparently
 -A clippy::blocks_in_if_conditions
+-A clippy::needless_collect # rust-clippy/issues/8046, since Nov 2021 at least