Skip to content

Add unwrap_unchecked() methods for Option and Result#80876

Merged
bors merged 4 commits intorust-lang:masterfrom ojeda:option-result-unwrap_uncheckedJan 26, 2021

Commits

Commits on Jan 10, 2021

Commits on Jan 25, 2021