chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2100d43) | patch
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)
commitf1cde1493e124658bf90c03266f31fbdb5d7fed0
tree6f6a276e66129f083c92d16630ccd40e830826bdtree | snapshot
parent2100d435948047f0e3e06d2346d378e4d49b4b1ecommit | diff
clippy: Suppress a buggy lint

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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.