Struct rustc_mir::transform::validate::Validator

pub struct Validator {
    pub when: String,
    pub mir_phase: MirPhase,
}

Fields

when: String

Describes at which point in the pipeline this validation is happening.

mir_phase: MirPhase

The phase for which we are upholding the dialect. If the given phase forbids a specific element, this validator will now emit errors if that specific element is encountered. Note that phases that change the dialect cause all following phases to check the invariants of the new dialect. A phase that changes dialects never checks the new invariants itself.

Trait Implementations

impl<'tcx> MirPass<'tcx> for Validator

fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>)

fn name(&self) -> Cow<'_, str>

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes