Trait IntoInstruction 

pub trait IntoInstruction<T> {
    // Required method
    fn into_instruction(self) -> Instruction;
}

Bridges the C++ T{args...} variadic construction: maps each instruction type T and its constructor arg-pack to a built Instruction variant. (C++ instructions.allocate(T{std::forward<Args>(args)...}).)

Required Methods

fn into_instruction(self) -> Instruction

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl IntoInstruction<Assign> for (DefId, *mut AstStatAssign)

fn into_instruction(self) -> Instruction

impl IntoInstruction<Declare> for (DefId, *mut AstStatLocal)

fn into_instruction(self) -> Instruction

impl IntoInstruction<Refine> for (DefId, *const Refinement)

fn into_instruction(self) -> Instruction

Implementors

impl IntoInstruction<Join> for DefId