Skip to content

Add unwrap_unchecked() methods for Option and Result#80876

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

Commits

Commits on Jan 10, 2021

Commits on Jan 25, 2021