Skip to content

New lint map_all_any_identity#13499

Merged
bors merged 2 commits into
rust-lang:masterfrom
samueltardieu:map-all-any-identity
Oct 29, 2024
Merged

New lint map_all_any_identity#13499
bors merged 2 commits into
rust-lang:masterfrom
samueltardieu:map-all-any-identity

Commits

Commits on Oct 29, 2024