Handle Option::map_or(true, …) in unnecessary_map_or lint#13653
Merged
Centri3 merged 3 commits intorust-lang:masterfrom Nov 18, 2024
Merged
Handle Option::map_or(true, …) in unnecessary_map_or lint#13653Centri3 merged 3 commits intorust-lang:masterfrom
Option::map_or(true, …) in unnecessary_map_or lint#13653Centri3 merged 3 commits intorust-lang:masterfrom