Option::get_or_insert(_with): Replace unreachable! with unreachable_unchecked#51653
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 23, 2018
mglagla:option-unreachable
Merged
Option::get_or_insert(_with): Replace unreachable! with unreachable_unchecked#51653bors merged 1 commit intorust-lang:masterfrom mglagla:option-unreachable
bors merged 1 commit intorust-lang:masterfrom
mglagla:option-unreachable
