Skip to main content

VisitProvenance

Trait VisitProvenance 

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

Required Methods§

Source

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

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types§

Source§

impl VisitProvenance for &'static str

Source§

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

Source§

impl VisitProvenance for AllocId

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

impl VisitProvenance for Immediate<Provenance>

Source§

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

Source§

impl VisitProvenance for MemPlaceMeta<Provenance>

Source§

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

Source§

impl VisitProvenance for bool

Source§

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

Source§

impl VisitProvenance for i8

Source§

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

Source§

impl VisitProvenance for i16

Source§

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

Source§

impl VisitProvenance for i32

Source§

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

Source§

impl VisitProvenance for i64

Source§

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

Source§

impl VisitProvenance for isize

Source§

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

Source§

impl VisitProvenance for u8

Source§

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

Source§

impl VisitProvenance for u16

Source§

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

Source§

impl VisitProvenance for u32

Source§

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

Source§

impl VisitProvenance for u64

Source§

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

Source§

impl VisitProvenance for usize

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

impl<T: VisitProvenance> VisitProvenance for Vec<T>

Source§

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

Implementors§

Source§

impl VisitProvenance for AllocDataRaceHandler

Source§

impl VisitProvenance for AllocExtra<'_>

Source§

impl VisitProvenance for AllocState

Source§

impl VisitProvenance for BorTag

Source§

impl VisitProvenance for CatchUnwindData<'_>

Source§

impl VisitProvenance for CondvarRef

Source§

impl VisitProvenance for Deadline

Source§

impl VisitProvenance for DirTable

Source§

impl VisitProvenance for EnvVars<'_>

Source§

impl VisitProvenance for Epoll

Source§

impl VisitProvenance for FdTable

Source§

impl VisitProvenance for FileDescriptionRef<Socket>

Source§

impl VisitProvenance for FrameExtra<'_>

Source§

impl VisitProvenance for FrameState

Source§

impl VisitProvenance for FutexRef

Source§

impl VisitProvenance for GenmcCtx

Source§

impl VisitProvenance for GlobalDataRaceHandler

Source§

impl VisitProvenance for GlobalState

Source§

impl VisitProvenance for miri::alloc_addresses::GlobalStateInner

Source§

impl VisitProvenance for miri::borrow_tracker::GlobalStateInner

Source§

impl VisitProvenance for ImmTy<'_>

Source§

impl VisitProvenance for InitOnceRef

Source§

impl VisitProvenance for IoError

Source§

impl VisitProvenance for MPlaceTy<'_>

Source§

impl VisitProvenance for MiriInterpCx<'_>

Source§

impl VisitProvenance for MiriMachine<'_>

Source§

impl VisitProvenance for MutexRef

Source§

impl VisitProvenance for OpTy<'_>

Source§

impl VisitProvenance for PlaceTy<'_>

Source§

impl VisitProvenance for Pointer

Source§

impl VisitProvenance for Provenance

Source§

impl VisitProvenance for RwLockRef

Source§

impl VisitProvenance for Scalar

Source§

impl VisitProvenance for Stacks

Source§

impl VisitProvenance for StoreBufferAlloc

Source§

impl VisitProvenance for StrictPointer

Source§

impl VisitProvenance for Thread<'_>

Source§

impl VisitProvenance for ThreadId

Source§

impl VisitProvenance for ThreadManager<'_>

Source§

impl VisitProvenance for TlsData<'_>

Source§

impl VisitProvenance for Tree

Source§

impl VisitProvenance for UnixEnvVars<'_>

Source§

impl VisitProvenance for VClockAlloc

Source§

impl VisitProvenance for WindowsEnvVars

Source§

impl<T> VisitProvenance for WeakFileDescriptionRef<T>