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.

Sign up for GitHub

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

Jump to bottom

filter_map docs woefully incomplete #3424

Closed
gnzlbg opened this issue Nov 10, 2018 · 1 comment · Fixed by #7059
Closed

filter_map docs woefully incomplete #3424

gnzlbg opened this issue Nov 10, 2018 · 1 comment · Fixed by #7059
Assignees
@camsteffen
Labels
A-documentation Area: Adding or improving documentation good-first-issue These issues are a good way to get started with Clippy

Comments

@gnzlbg
Copy link
Contributor

gnzlbg commented Nov 10, 2018

The filter_map docs are pretty much empty. The lint covers many cases and combinations, and the docs should contain examples for them.
@phansch phansch added the A-documentation Area: Adding or improving documentation label Nov 10, 2018
@flip1995 flip1995 added the good-first-issue These issues are a good way to get started with Clippy label Nov 12, 2018
@waynr
Copy link
Contributor

waynr commented Nov 25, 2018

I'm gonna give this issue a shot.

@waynr waynr mentioned this issue Nov 27, 2018
Closed
@flip1995 flip1995 mentioned this issue Jan 15, 2020
Closed
@camsteffen camsteffen self-assigned this Apr 9, 2021
@camsteffen camsteffen mentioned this issue Apr 9, 2021
Merged
@bors bors closed this as completed in a6b514c Apr 11, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@camsteffen camsteffen

Labels
A-documentation Area: Adding or improving documentation good-first-issue These issues are a good way to get started with Clippy
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Deprecate filter_map camsteffen/rust-clippy
6 participants
@ebroto @gnzlbg @waynr @phansch @camsteffen @flip1995