New lint `map_all_any_identity`
This lint has been inspired by code encountered in Clippy itself (see the first commit).
changelog: [map_all_any_identity]: new lint
r? @y21
rustbot has assigned @y21. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r? to explicitly pick a reviewer
r? @xFrednet
@rustbot ready
:umbrella: The latest upstream changes (presumably #13437) made this pull request unmergeable. Please resolve the merge conflicts.
This version looks good to me, and the FCP should also be over.
Thank you for the implementation!
Roses are red,
This looks fine,
Rebase is pending,
Then it's r=me time
:v: @samueltardieu, you can now approve this pull request!
If @xFrednet told you to "r=me" after making some further change, please make that change, then do @bors r=@xFrednet
@bors r=@xFrednet
:pushpin: Commit 91a1d16a81a30d48b65ce4c63d6a1410e6c98447 has been approved by xFrednet
It is now in the queue for this repository.
:hourglass: Testing commit 91a1d16a81a30d48b65ce4c63d6a1410e6c98447 with merge 35a7095d8c440663b1beb77bafb12b0f3d482b43...
:sunny: Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test Approved by: xFrednet Pushing 35a7095d8c440663b1beb77bafb12b0f3d482b43 to master...