ssa_traits

Trait TypedBlock

Source 
pub trait TypedBlock<F: TypedFunc<Blocks: Arena<F::Block, Output = Self>> + ?Sized>: Block<F> {
    // Required method
    fn params(&self) -> impl Iterator<Item = (F::Ty, F::Value)>;
}

Required Methods§

Source

fn params(&self) -> impl Iterator<Item = (F::Ty, 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§