Type Alias rustc_mir_dataflow::ResultsClonedCursor

pub type ResultsClonedCursor<'res, 'mir, 'tcx, A> = ResultsCursor<'mir, 'tcx, A, ResultsCloned<'res, 'tcx, A>>;

A ResultsCursor which uses a cloned Analysis while borrowing the underlying Results. This allows multiple cursors over the same Results.

Aliased Type

struct ResultsClonedCursor<'res, 'mir, 'tcx, A> {
    body: &'mir Body<'tcx>,
    results: Results<'tcx, A, &'res IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>,
    state: <A as AnalysisDomain<'tcx>>::Domain,
    pos: CursorPosition,
    state_needs_reset: bool,
    reachable_blocks: BitSet<BasicBlock>,
}

Fields

body: &'mir Body<'tcx>

results: Results<'tcx, A, &'res IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>

state: <A as AnalysisDomain<'tcx>>::Domain

pos: CursorPosition

state_needs_reset: bool

Indicates that state has been modified with a custom effect.

When this flag is set, we need to reset to an entry set before doing a seek.

reachable_blocks: BitSet<BasicBlock>

Layout

Note: Encountered an error during type layout; the type failed to be normalized.