Trait RustcPeekAt

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementors

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

impl<'tcx, A, D> RustcPeekAt<'tcx> for A

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