Skip to content

move Option::unwrap_unchecked into const_option feature gate#130118

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:unwrap_unchecked
Sep 15, 2024
Merged

move Option::unwrap_unchecked into const_option feature gate#130118
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:unwrap_unchecked

move Option::unwrap_unchecked into const_option feature gate

7ec01e4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs