ssa_traits

Trait TypedFunc

Source 
pub trait TypedFunc: Func<Values: Arena<Self::Value, Output: TypedValue<Self>>, Blocks: Arena<Self::Block, Output: TypedBlock<Self>>> {
    type Ty;

    // Required method
    fn add_blockparam(&mut self, k: Self::Block, y: Self::Ty) -> Self::Value;
}

Required Associated Types§

Source

type Ty

Required Methods§

Source

fn add_blockparam(&mut self, k: Self::Block, y: Self::Ty) -> Self::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§