Trait miri::VisitTags

source ·
pub trait VisitTags {
    // Required method
    fn visit_tags(&self, visit: &mut dyn FnMut(BorTag));
}

Required Methods§

source

fn visit_tags(&self, visit: &mut dyn FnMut(BorTag))

Implementations on Foreign Types§

source§

impl<T: VisitTags> VisitTags for RefCell<T>

source§

fn visit_tags(&self, visit: &mut dyn FnMut(BorTag))

source§

impl<T: VisitTags> VisitTags for Option<T>

source§

fn visit_tags(&self, visit: &mut dyn FnMut(BorTag))

Implementors§

source§

impl VisitTags for AllocState

source§

impl VisitTags for Immediate<Provenance>

source§

impl VisitTags for MemPlaceMeta<Provenance>

source§

impl VisitTags for Scalar<Provenance>

source§

impl VisitTags for Provenance

source§

impl VisitTags for Stacks

source§

impl VisitTags for BorTag

source§

impl VisitTags for FrameState

source§

impl VisitTags for miri::borrow_tracker::GlobalStateInner

source§

impl VisitTags for Tree

source§

impl VisitTags for GlobalState

source§

impl VisitTags for VClockAlloc

source§

impl VisitTags for Thread<'_, '_>

source§

impl VisitTags for ThreadManager<'_, '_>

source§

impl VisitTags for StoreBufferAlloc

source§

impl VisitTags for miri::intptrcast::GlobalStateInner

source§

impl VisitTags for AllocExtra<'_>

source§

impl VisitTags for FrameExtra<'_>

source§

impl VisitTags for MiriMachine<'_, '_>

source§

impl VisitTags for EnvVars<'_>

source§

impl VisitTags for CatchUnwindData<'_>

source§

impl VisitTags for UnblockCallback

source§

impl VisitTags for TlsData<'_>

source§

impl VisitTags for DirHandler

source§

impl VisitTags for FileHandler

source§

impl VisitTags for Allocation<Provenance, AllocExtra<'_>>

source§

impl VisitTags for Frame<'_, '_, Provenance, FrameExtra<'_>>

source§

impl VisitTags for ImmTy<'_, Provenance>

source§

impl VisitTags for MPlaceTy<'_, Provenance>

source§

impl VisitTags for OpTy<'_, Provenance>

source§

impl VisitTags for PlaceTy<'_, Provenance>

source§

impl VisitTags for Pointer<Option<Provenance>>

source§

impl VisitTags for Pointer<Provenance>

source§

impl VisitTags for MiriInterpCx<'_, '_>

source§

impl<'mir, 'tcx> VisitTags for InitOnce<'mir, 'tcx>

source§

impl<'mir, 'tcx> VisitTags for SynchronizationState<'mir, 'tcx>