-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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
Address comments from PR #8418. #8467
Conversation
rollup candidate |
�So now I'm torn. Maybe this could land with a simply bors retry; I cannot tell from the error message. But it such a minor patch, maybe it should just be put into a rollup instead. Since I cannot decide between those options (and am not inclined to do a roll-up myself), I have just left this PR open. But then, Graydon asked recently for people to close failed PR's in order to bring down the amount that bors stresses the github API (since it was hitting the rate limit). So now it seems like even leaving the PR open is not a great choice. (But the changes are legitimate, so I don't want to close it unless I can convince myself that I will repost it later...) Sigh. |
I think this requires some little clean-ups to make the test-cases' error patterns match rustc's. The error pattern is
A missing comma:
|
@huonw Ah, I misinterpreted the bors output (and thought that I had done a make check on my original commit...). Thanks for double-checking that for me. |
(closing until I can fix properly.) |
(part of #3192.) |
Add `unnecessary_find_map` lint This PR adds an `unnecessary_find_map` lint. It is essentially just a minor enhancement of `unnecessary_filter_map`. Closes rust-lang#8467 changelog: New lint `unnecessary_find_map`
Comments addressed were: