Skip to content

move Option::unwrap_unchecked into const_option feature gate#130118

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

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

Commits

Commits on Sep 8, 2024