Skip to content

Allow filter_map_identity when the closure is typed#12562

Merged
bors merged 2 commits intomasterfrom
unknown repository
Mar 31, 2024
Merged

Allow `filter_map_identity` when the closure is typed#12562
bors merged 2 commits intomasterfrom
unknown repository

Commits

Commits on Mar 25, 2024

Commits on Mar 26, 2024