Skip to content

Mark map_or as #[must_use]#112655

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

Mark map_or as #[must_use]#112655
bors merged 1 commit into
rust-lang:masterfrom
WaffleLapkin:must_use_map_or

Commits

Commits on Jul 30, 2023