Trait cairo_lang_lowering::borrow_check::demand::AuxCombine

pub trait AuxCombine {
    // Required method
    fn merge<'a, I: Iterator<Item = &'a Self>>(iter: I) -> Self
       where Self: 'a;
}

Required Methods

fn merge<'a, I: Iterator<Item = &'a Self>>(iter: I) -> Selfwhere Self: 'a,

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl AuxCombine for ()

fn merge<'a, I: Iterator<Item = &'a Self>>(_: I) -> Self

Implementors

impl AuxCombine for cairo_lang_lowering::destructs::PanicState

How to combine two panic states in a flow divergence.

impl AuxCombine for cairo_lang_lowering::borrow_check::PanicState