Function extern_spec_T_E_Try_Result_T_E_branch 

pub fn extern_spec_T_E_Try_Result_T_E_branch<T, E>(
    self_: Result<T, E>,
) -> ControlFlow<Result<Infallible, E>, T>

extern spec for Result<T, E>::branch

This is not a real function: its only use is for documentation.

ensures

match self {
    Ok(v) => result == ControlFlow::Continue(v),
    Err(e) => result == ControlFlow::Break(Err(e))
}