Trait miri::VisitTags

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

Required Methods

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

Implementations on Foreign Types

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

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

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

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

Implementors

impl VisitTags for AllocState

impl VisitTags for Immediate<Provenance>

impl VisitTags for MemPlaceMeta<Provenance>

impl VisitTags for Scalar<Provenance>

impl VisitTags for Provenance

impl VisitTags for Stacks

impl VisitTags for BorTag

impl VisitTags for FrameState

impl VisitTags for miri::borrow_tracker::GlobalStateInner

impl VisitTags for Tree

impl VisitTags for GlobalState

impl VisitTags for VClockAlloc

impl VisitTags for Thread<'_, '_>

impl VisitTags for ThreadManager<'_, '_>

impl VisitTags for StoreBufferAlloc

impl VisitTags for miri::intptrcast::GlobalStateInner

impl VisitTags for AllocExtra<'_>

impl VisitTags for FrameExtra<'_>

impl VisitTags for MiriMachine<'_, '_>

impl VisitTags for EnvVars<'_>

impl VisitTags for CatchUnwindData<'_>

impl VisitTags for UnblockCallback

impl VisitTags for TlsData<'_>

impl VisitTags for DirHandler

impl VisitTags for FileHandler

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

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

impl VisitTags for ImmTy<'_, Provenance>

impl VisitTags for MPlaceTy<'_, Provenance>

impl VisitTags for OpTy<'_, Provenance>

impl VisitTags for PlaceTy<'_, Provenance>

impl VisitTags for Pointer<Option<Provenance>>

impl VisitTags for Pointer<Provenance>

impl VisitTags for MiriInterpCx<'_, '_>

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

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