Skip to content

Mark map_or as #[must_use]#112655

Merged
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:must_use_map_or
Jul 30, 2023

Commits

Commits on Jul 30, 2023