Struct rustc_const_eval::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>

fn is_enabled(&self, _sess: &Session) -> bool

Returns true if this pass is enabled with the current combination of compiler flags.

fn phase_change(&self) -> Option<MirPhase>

If this pass causes the MIR to enter a new phase, return that phase.

fn is_mir_dump_enabled(&self) -> bool

Layout

Note: Most layout information is completely unstable and may even differ between compilations. 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