Function vstd::std_specs::result::spec_unwrap_err

source · 
pub open spec fn spec_unwrap_err<T: Debug, E>(result: Result<T, E>) -> E
Expand description
recommends
result.is_Err(),
{ result.get_Err_0() }