Repository navigation

Allow `filter_map_identity` when the closure is typed - #12562

Merged

bors merged 2 commits into

unknown repository

Mar 31, 2024

Commits on Mar 25, 2024
- Allow `filter_map_identity` when the closure is typed
  GradExMachina
  committed
  9655231
Commits on Mar 26, 2024
- :adjust applicability for typed identity closures in `filter_map_identity`
  GradExMachina
  committed
  60937bf