Add Result::map_or_default
and Option::map_or_default
#141659
Merged
bors merged 1 commit intorust-lang:masterfrom May 28, 2025
Merged
Add `Result::map_or_default` and `Option::map_or_default`#141659bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom