pub open spec fn spec_unwrap_err<T: Debug, E>(result: Result<T, E>) -> E
result is Err,
{ result->Err_0 }