revmc_backend

Trait BackendTypes

Source 
pub trait BackendTypes: Sized {
    type Type: Copy + Eq + Debug;
    type Value: Copy + Eq + Debug;
    type StackSlot: Copy + Eq + Debug;
    type BasicBlock: Copy + Eq + Debug;
    type Function: Copy + Eq + Debug;
}

Required Associated Types§

Source

type Type: Copy + Eq + Debug

Source

type Value: Copy + Eq + Debug

Source

type StackSlot: Copy + Eq + Debug

Source

type BasicBlock: Copy + Eq + Debug

Source

type Function: Copy + Eq + Debug

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§