Allow `filter_map_identity` when the closure is typed#12562

Merged

bors merged 2 commits intorust-lang:masterfrom

PartiallyUntyped:12501

Mar 31, 2024

Commits on Mar 25, 2024

Allow `filter_map_identity` when the closure is typed
PartiallyUntyped
committed

Commits on Mar 26, 2024

:adjust applicability for typed identity closures in `filter_map_identity`
PartiallyUntyped
committed