Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of rust-lang#6876 - giraffate:improve_doc_on_map_flatten, …
…r=flip1995 Improve doc on `map_flatten` Fix rust-lang/rust-clippy#6870. It's because this doc lacks the description that this lint is also used for `Option`. changelog: none
- Loading branch information