Skip to content

move Option::unwrap_unchecked into const_option feature gate#130118

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

Commits

Commits on Sep 8, 2024