Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add flat_map_option lint #7101

Merged
merged 1 commit into from
Apr 19, 2021
Merged

Add flat_map_option lint #7101

merged 1 commit into from
Apr 19, 2021

Conversation

camsteffen
Copy link
Contributor

@camsteffen camsteffen commented Apr 16, 2021

changelog: Add flat_map_option lint

Closes #2241

@rust-highfive
Copy link

r? @giraffate

(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 Apr 16, 2021
@giraffate
Copy link
Contributor

@bors r+

It looks good, thanks!

@bors
Copy link
Collaborator

bors commented Apr 19, 2021

📌 Commit 5af078a has been approved by giraffate

@bors
Copy link
Collaborator

bors commented Apr 19, 2021

⌛ Testing commit 5af078a with merge fe5cefc...

@bors
Copy link
Collaborator

bors commented Apr 19, 2021

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

@bors bors merged commit fe5cefc into rust-lang:master Apr 19, 2021
@camsteffen camsteffen deleted the flat-map-option branch July 8, 2021 22:01
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.

lint flat_map into filter_map
4 participants