Struct rustc_mir::transform::validate::Validator[−][src]

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

Fields

when: String
Expand description

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

mir_phase: MirPhase
Expand description

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[src]

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

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

Auto Trait Implementations

impl RefUnwindSafe for Validator

impl Send for Validator

impl Sync for Validator

impl Unpin for Validator

impl UnwindSafe for Validator

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]