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

Mark `map_or` as `#[must_use]`

90f9640
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs