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

Required Methods§

source

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

Object Safety§

This trait is not object safe.

Implementors§

source§

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

source§

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