[`map_identity`]: respect match ergonomics#11792

Merged

bors merged 1 commit intorust-lang:masterfrom y21:issue11764

Nov 11, 2023

+85-43

Commits on Nov 11, 2023

[map_identity]: respect match ergonomics
y21
committed