ssa_traits

Trait Block

Source 
pub trait Block<F: Func<Blocks: Arena<F::Block, Output = Self>> + ?Sized>: Block<F, Terminator: Term<F>> {
    // Required methods
    fn insts(&self) -> impl Iterator<Item = F::Value>;
    fn add_inst(func: &mut F, key: F::Block, v: F::Value);
}

Required Methods§

Source

fn insts(&self) -> impl Iterator<Item = F::Value>

Source

fn add_inst(func: &mut F, key: F::Block, v: F::Value)

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.

Implementors§