Categorize map_flatten
as a style lint instead of pedantic
#7999
Labels
A-category
Area: Categorization of lints
I recently learned that we can write
and_then()
forOption
's instead ofmap().flatten()
. There is a lint for that which is calledmap_flatten
. Unfortunately, it is categorized asclippy::pedantic
so I doubt I would ever hear about it if I didn't come to this repository to propose the exact same lint and see that it already exists. I think this should be suggested byclippy
as default.So I'm basically proposing to make
map_flatten
astyle
lint instead ofpedantic
so thatclippy
will warn about this lint as default. I'd like to provide a PR.Additional context
@rustbot label C-enhancement
The text was updated successfully, but these errors were encountered: