Enum flowistry_pdg::rustc::mir::RuntimePhase

pub enum RuntimePhase {
    Initial,
    PostCleanup,
    Optimized,
}

See MirPhase::Runtime.

Variants

Initial

In addition to the semantic changes, beginning with this phase, the following variants are disallowed:

• TerminatorKind::Yield
• TerminatorKind::GeneratorDrop
• Rvalue::Aggregate for any AggregateKind except Array

And the following variants are allowed:

• StatementKind::Retag
• StatementKind::SetDiscriminant
• StatementKind::Deinit

Furthermore, Copy operands are allowed for non-Copy types.

PostCleanup

Beginning with this phase, the following variant is disallowed:

• ProjectionElem::Deref of Box

Optimized