Trait rustc_mir::transform::rustc_peek::RustcPeekAt

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

Required methods

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

Loading content...

Implementors

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

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

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

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

impl<'tcx, A> RustcPeekAt<'tcx> for A where
    A: Analysis<'tcx, Idx = MovePathIndex> + HasMoveData<'tcx>, 

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

Loading content...