Trait Pass

pub trait Pass {
    type In;
    type Out;
    type Error;

    const NAME: &'static str;

    // Required method
    fn run(
        &mut self,
        input: Self::In,
        cx: &mut PassContext,
    ) -> Result<Self::Out, Self::Error>;
}

Generic pass interface for one compiler transformation.

Required Associated Constants

const NAME: &'static str

Stable pass name used for stats and diagnostics.

Required Associated Types

type In

Input value consumed by this pass.

type Out

Output value produced by this pass.

type Error

Error type emitted by this pass.

Required Methods

fn run( &mut self, input: Self::In, cx: &mut PassContext, ) -> Result<Self::Out, Self::Error>

Execute one pass invocation.

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

impl<'a> Pass for CheckProgramPass<'a>

const NAME: &'static str = "check.check_program"

type In = ()

type Out = CheckedProgram

type Error = CheckError

impl<'a> Pass for ElaborateProgramPass<'a>

const NAME: &'static str = "elab.elaborate_program"

type In = ()

type Out = Program

type Error = ElabError

impl<'a> Pass for EmitRustPass<'a>

const NAME: &'static str = "codegen.rust.emit_program"

type In = ()

type Out = String

type Error = CodegenError

impl<'a> Pass for EmitWasmPass<'a>

const NAME: &'static str = "codegen.wasm.emit_program"

type In = ()

type Out = WasmArtifacts

type Error = Infallible

impl<'a> Pass for ExpandProgramPass<'a>

const NAME: &'static str = "meta.expand_program"

type In = ()

type Out = Program

type Error = MetaEvalError

impl<'a> Pass for LowerHirPass<'a>

const NAME: &'static str = "hir.lower_program"

type In = ()

type Out = HirProgram

type Error = Infallible

impl<'a> Pass for LowerMirPass<'a>

const NAME: &'static str = "mir.lower_program"

type In = ()

type Out = MirProgram

type Error = LowerError

impl<'a> Pass for BindTemplateCallArgsPass<'a>

const NAME: &'static str = "elab.bind_template_call_args"

type In = Vec<CallArg>

type Out = TemplateCallBinding

type Error = ElabError

impl<'a> Pass for InstantiateRuntimeFunctionPass<'a>

const NAME: &'static str = "elab.instantiate_runtime_function"

type In = ()

type Out = String

type Error = ElabError

impl<'a> Pass for NormalizeRuntimeCallsAndSpreadsPass<'a>

const NAME: &'static str = "elab.normalize_runtime_calls_and_spreads"

type In = Vec<CallArg>

type Out = Vec<CallArg>

type Error = ElabError

impl<'a> Pass for ValidateRuntimeCallArgsPass<'a>

const NAME: &'static str = "elab.validate_runtime_call_args"

type In = Vec<CallArg>

type Out = Vec<CallArg>

type Error = ElabError