Trait VisitProvenance

pub trait VisitProvenance {
    // Required method
    fn visit_provenance(&self, visit: &mut VisitWith<'_>);
}

Required Methods

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

Implementations on Foreign Types

impl VisitProvenance for Immediate<Provenance>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl VisitProvenance for MemPlaceMeta<Provenance>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl VisitProvenance for i8

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for i16

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for i32

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for i64

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for isize

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for u8

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for u16

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for u32

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for u64

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

impl VisitProvenance for usize

fn visit_provenance(&self, _visit: &mut VisitWith<'_>)

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

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl VisitProvenance for Allocation<Provenance, AllocExtra<'_>, MiriAllocBytes>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl VisitProvenance for AllocId

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl<A, B> VisitProvenance for (A, B)

where A: VisitProvenance, B: VisitProvenance,

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl<T: VisitProvenance> VisitProvenance for Option<T>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

impl<T: VisitProvenance> VisitProvenance for RefCell<T>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

Implementors

impl VisitProvenance for AllocState

impl VisitProvenance for EnvVars<'_>

impl VisitProvenance for IoError

impl VisitProvenance for Provenance

impl VisitProvenance for miri::alloc_addresses::GlobalStateInner

impl VisitProvenance for FrameState

impl VisitProvenance for miri::borrow_tracker::GlobalStateInner

impl VisitProvenance for GlobalState

impl VisitProvenance for VClockAlloc

impl VisitProvenance for FutexRef

impl VisitProvenance for Thread<'_>

impl VisitProvenance for StoreBufferAlloc

impl VisitProvenance for FdTable

impl VisitProvenance for UnixEnvVars<'_>

impl VisitProvenance for DirTable

impl VisitProvenance for Epoll

impl VisitProvenance for WindowsEnvVars

impl VisitProvenance for AllocExtra<'_>

impl VisitProvenance for BorTag

impl VisitProvenance for CatchUnwindData<'_>

impl VisitProvenance for CondvarId

impl VisitProvenance for FrameExtra<'_>

impl VisitProvenance for InitOnceId

impl VisitProvenance for MiriMachine<'_>

impl VisitProvenance for MutexRef

impl VisitProvenance for RwLockId

impl VisitProvenance for Stacks

impl VisitProvenance for ThreadId

impl VisitProvenance for ThreadManager<'_>

impl VisitProvenance for TlsData<'_>

impl VisitProvenance for Tree

impl VisitProvenance for ImmTy<'_>

impl VisitProvenance for MPlaceTy<'_>

impl VisitProvenance for MiriInterpCx<'_>

impl VisitProvenance for OpTy<'_>

impl VisitProvenance for PlaceTy<'_>

impl VisitProvenance for Pointer

impl VisitProvenance for Scalar

impl VisitProvenance for StrictPointer

impl<T> VisitProvenance for WeakFileDescriptionRef<T>