pub enum AnalysisPhase {
Initial = 0,
PostCleanup = 1,
}Expand description
See MirPhase::Analysis.
Variants§
Initial = 0
PostCleanup = 1
Beginning in this phase, the following variants are disallowed:
TerminatorKind::FalseUnwindTerminatorKind::FalseEdgeStatementKind::FakeReadStatementKind::AscribeUserTypeStatementKind::CoveragewithCoverageKind::BlockMarkerorCoverageKind::SpanMarkerRvalue::RefwithBorrowKind::FakeCastKind::PointerCoercionwith any of the following:
Furthermore, Deref projections must be the first projection within any place (if they
appear at all)
Auto Trait Implementations§
impl Freeze for AnalysisPhase
impl RefUnwindSafe for AnalysisPhase
impl Send for AnalysisPhase
impl Sync for AnalysisPhase
impl Unpin for AnalysisPhase
impl UnwindSafe for AnalysisPhase
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.