[][src]Enum rustc_middle::mir::MirPhase

pub enum MirPhase {

The various "big phases" that MIR goes through.

These phases all describe dialects of MIR. Since all MIR uses the same datastructures, the dialects forbid certain variants or values in certain phases.

Note: Each phase's validation checks all invariants of the previous phases' dialects. A phase that changes the dialect documents what invariants must be upheld after that phase finishes.

Warning: ordering of variants is significant.



This phase checks the MIR for promotable elements and takes them out of the main MIR body by creating a new MIR body per promoted element. After this phase (and thus the termination of the mir_promoted query), these promoted elements are available in the promoted_mir query.


After this phase


After this phase, generators are explicit state machines (no more Yield). AggregateKind::Generator is gone for good.



impl MirPhase[src]

pub fn phase_index(&self) -> usize[src]

Gets the index of the current MirPhase within the set of all MirPhases.

Trait Implementations

impl Clone for MirPhase[src]

impl Copy for MirPhase[src]

impl Debug for MirPhase[src]

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for MirPhase[src]

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for MirPhase[src]

impl Eq for MirPhase[src]

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for MirPhase[src]

impl<'tcx> Lift<'tcx> for MirPhase[src]

type Lifted = Self

impl Ord for MirPhase[src]

impl PartialEq<MirPhase> for MirPhase[src]

impl PartialOrd<MirPhase> for MirPhase[src]

impl StructuralEq for MirPhase[src]

impl StructuralPartialEq for MirPhase[src]

impl<'tcx> TypeFoldable<'tcx> for MirPhase[src]

Auto Trait Implementations

impl RefUnwindSafe for MirPhase

impl Send for MirPhase

impl Sync for MirPhase

impl Unpin for MirPhase

impl UnwindSafe for MirPhase

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where
    T: Copy

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<'a, T> Captures<'a> for T where
    T: ?Sized

impl<Ctxt, T> DepNodeParams<Ctxt> for T where
    Ctxt: DepContext,
    T: HashStable<<Ctxt as DepContext>::StableHashingContext> + Debug

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

impl<T, U> Into<U> for T where
    U: From<T>, 

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

type Error = !

impl<'tcx, T> Subst<'tcx> for T where
    T: TypeFoldable<'tcx>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

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

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]