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

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

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