Function vstd::std_specs::control_flow::ex_result_from_residual

source · 
pub exec fn ex_result_from_residual<T, E, F: From<E>>(
    result: Result<Infallible, E>
) -> result2 : Result<T, F>
Expand description
ensures
match (result, result2) {
    (Err(e), Err(e2)) => spec_from::<F, E>(e, e2),
    _ => false,
},