cairo_lang_lowering::borrow_check::demand

Trait AuxCombine

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

Required Methods§

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl AuxCombine for ()

Source§

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

Implementors§

Source§

impl AuxCombine for cairo_lang_lowering::destructs::PanicState

How to combine two panic states in a flow divergence.

Source§

impl AuxCombine for cairo_lang_lowering::borrow_check::PanicState