Skip to content

Handle Option::map_or(true, …) in unnecessary_map_or lint#13653

Merged
Centri3 merged 3 commits into
rust-lang:masterfrom
samueltardieu:push-oqltkmvvzmlq
Nov 18, 2024
Merged

Handle Option::map_or(true, …) in unnecessary_map_or lint#13653
Centri3 merged 3 commits into
rust-lang:masterfrom
samueltardieu:push-oqltkmvvzmlq

unnecessary_map_or: lint `.map_or(true, …)` as well

de03a05
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs