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<'_>)

## Implementations on Foreign Types§

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 VisitProvenance for Frame<'_, Provenance, FrameExtra<'_>>

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 AllocId

Source§

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

Source§

### impl<A, B> VisitProvenance for (A, B)
where A: VisitProvenance, B: VisitProvenance,

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<'_>)

## Implementors§

Source§

### impl VisitProvenance for AllocState

Source§

### impl VisitProvenance for AllocDataRaceHandler

Source§

### impl VisitProvenance for GlobalDataRaceHandler

Source§

### impl VisitProvenance for EnvVars<'_>

Source§

### impl VisitProvenance for IoError

Source§

### impl VisitProvenance for Provenance

Source§

### impl VisitProvenance for miri::alloc_addresses::GlobalStateInner

Source§

### impl VisitProvenance for FrameState

Source§

### impl VisitProvenance for miri::borrow_tracker::GlobalStateInner

Source§

### impl VisitProvenance for GlobalState

Source§

### impl VisitProvenance for VClockAlloc

Source§

### impl VisitProvenance for FutexRef

Source§

### impl VisitProvenance for Thread<'_>

Source§

### impl VisitProvenance for StoreBufferAlloc

Source§

### impl VisitProvenance for FdTable

Source§

### impl VisitProvenance for FileDescriptionRef<Socket>

Source§

### impl VisitProvenance for UnixEnvVars<'_>

Source§

### impl VisitProvenance for DirTable

Source§

### impl VisitProvenance for Epoll

Source§

### impl VisitProvenance for WindowsEnvVars

Source§

### impl VisitProvenance for AllocExtra<'_>

Source§

### impl VisitProvenance for BorTag

Source§

### impl VisitProvenance for CatchUnwindData<'_>

Source§

### impl VisitProvenance for CondvarRef

Source§

### impl VisitProvenance for FrameExtra<'_>

Source§

### impl VisitProvenance for GenmcCtx

Source§

### impl VisitProvenance for InitOnceRef

Source§

### impl VisitProvenance for MiriMachine<'_>

Source§

### impl VisitProvenance for MutexRef

Source§

### impl VisitProvenance for RwLockRef

Source§

### impl VisitProvenance for Stacks

Source§

### impl VisitProvenance for ThreadId

Source§

### impl VisitProvenance for ThreadManager<'_>

Source§

### impl VisitProvenance for TlsData<'_>

Source§

### impl VisitProvenance for Tree

Source§

### impl VisitProvenance for ImmTy<'_>

Source§

### impl VisitProvenance for MPlaceTy<'_>

Source§

### impl VisitProvenance for MiriInterpCx<'_>

Source§

### impl VisitProvenance for OpTy<'_>

Source§

### impl VisitProvenance for PlaceTy<'_>

Source§

### impl VisitProvenance for Pointer

Source§

### impl VisitProvenance for Scalar

Source§

### impl VisitProvenance for StrictPointer

Source§

### impl<T> VisitProvenance for WeakFileDescriptionRef<T>