px_llvm_codegen_utils_core

Trait Value

Source 
pub trait Value<'a>:
    Clone
    + Sealed
    + 'a {
    type Tag: 'a;
    type Kind: for<'b> ValueKind<Val<'a, Self::Tag> = Self, Mod<'b> = Self::Mod<'b>>;
    type Mod<'b>: Mod<'b>;

    // Required method
    fn mod<'b: 'a>(&'b self) -> Self::Mod<'b>;
}

Required Associated Types§

Source

type Tag: 'a

Source

type Kind: for<'b> ValueKind<Val<'a, Self::Tag> = Self, Mod<'b> = Self::Mod<'b>>

Source

type Mod<'b>: Mod<'b>

Required Methods§

Source

fn mod<'b: 'a>(&'b self) -> Self::Mod<'b>

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§