Trait rustc_mir_dataflow::rustc_peek::RustcPeekAt

pub trait RustcPeekAt<'tcx>: Analysis<'tcx> {
    fn peek_at(
        &self,
        tcx: TyCtxt<'tcx>,
        place: Place<'tcx>,
        flow_state: &Self::Domain,
        call: PeekCall
    );
}

Required Methods

fn peek_at(
    &self,
    tcx: TyCtxt<'tcx>,
    place: Place<'tcx>,
    flow_state: &Self::Domain,
    call: PeekCall
)

Implementors

impl<'tcx> RustcPeekAt<'tcx> for MaybeLiveLocals

impl<'tcx, A, D> RustcPeekAt<'tcx> for Awhere
    A: Analysis<'tcx, Domain = D> + HasMoveData<'tcx>,
    D: JoinSemiLattice + Clone + BitSetExt<MovePathIndex>,