Trait rustc_mir_dataflow::framework::cursor::AnalysisResults

pub trait AnalysisResults<'tcx, A>: BorrowMut<Results<'tcx, A, Self::EntrySets>>where
    A: Analysis<'tcx>,{
    type EntrySets: Borrow<IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>;
}

A type representing the analysis results consumed by a ResultsCursor.

Required Associated Types

type EntrySets: Borrow<IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>

The type containing the entry sets for this Results type.

Should be either EntrySets<'tcx, A> or &EntrySets<'tcx, A>.

Implementors

impl<'a, 'tcx, A, E> AnalysisResults<'tcx, A> for &'a mut Results<'tcx, A, E>where A: Analysis<'tcx>, E: Borrow<IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>,

type EntrySets = E

impl<'tcx, A, E> AnalysisResults<'tcx, A> for Results<'tcx, A, E>where A: Analysis<'tcx>, E: Borrow<IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>,

type EntrySets = E