Skip to content

Conversation

@magurotuna
Copy link
Contributor

This commit adds a new lint named filter_map_identity.
This lint is the same as flat_map_identity except that it checks for the usage of filter_map.


Closes #6643

changelog: Added a new lint: filter_map_identity

This commit adds a new lint named `filter_map_identity`. This lint is
the same as `flat_map_identity` except that it checks for `filter_map`.

Closes rust-lang#6643
@rust-highfive
Copy link

r? @phansch

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Feb 6, 2021
@phansch
Copy link
Contributor

phansch commented Feb 7, 2021

Looks great, thank you!

@bors r+

@bors
Copy link
Contributor

bors commented Feb 7, 2021

📌 Commit fbe436b has been approved by phansch

@bors
Copy link
Contributor

bors commented Feb 7, 2021

⌛ Testing commit fbe436b with merge ad9ceee...

@bors
Copy link
Contributor

bors commented Feb 7, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: phansch
Pushing ad9ceee to master...

@bors bors merged commit ad9ceee into rust-lang:master Feb 7, 2021
@magurotuna magurotuna deleted the filter_map_identity branch February 7, 2021 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties

Projects

None yet

Development

Successfully merging this pull request may close these issues.

New lint: filter_map_identity

4 participants