# Trait miri::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 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 Provenance

source§

### impl VisitProvenance for EnvVars<'_>

source§

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

source§

### impl VisitProvenance for Stacks

source§

### impl VisitProvenance for BorTag

source§

### impl VisitProvenance for FrameState

source§

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

source§

### impl VisitProvenance for Tree

source§

### impl VisitProvenance for GlobalState

source§

### impl VisitProvenance for VClockAlloc

source§

### impl VisitProvenance for InitOnceId

source§

### impl VisitProvenance for CondvarId

source§

### impl VisitProvenance for MutexId

source§

### impl VisitProvenance for RwLockId

source§

### impl VisitProvenance for Thread<'_>

source§

### impl VisitProvenance for ThreadId

source§

### impl VisitProvenance for ThreadManager<'_>

source§

### impl VisitProvenance for StoreBufferAlloc

source§

### impl VisitProvenance for AllocExtra<'_>

source§

### impl VisitProvenance for FrameExtra<'_>

source§

### impl VisitProvenance for MiriMachine<'_>

source§

### impl VisitProvenance for CatchUnwindData<'_>

source§

### impl VisitProvenance for TlsData<'_>

source§

### impl VisitProvenance for UnixEnvVars<'_>

source§

### impl VisitProvenance for FdTable

source§

### impl VisitProvenance for DirTable

source§

### impl VisitProvenance for WindowsEnvVars

source§

### impl VisitProvenance for MiriInterpCx<'_>

source§

### impl VisitProvenance for ImmTy<'_>

source§

### impl VisitProvenance for MPlaceTy<'_>

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