Trait rustc_mir::transform::rustc_peek::RustcPeekAt

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

Required methods

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

Loading content...

Implementors

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

pub fn peek_at(
    &self,
    tcx: TyCtxt<'tcx>,
    place: Place<'tcx>,
    flow_state: &BitSet<Local>,
    call: PeekCall
)

impl<'tcx, '_> RustcPeekAt<'tcx> for MaybeMutBorrowedLocals<'_, 'tcx>

pub fn peek_at(
    &self,
    tcx: TyCtxt<'tcx>,
    place: Place<'tcx>,
    flow_state: &BitSet<Local>,
    call: PeekCall
)

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

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

Loading content...