# 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 Scalar<Provenance>

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 ImmTy<'_, Provenance>

source§

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

source§

### impl VisitProvenance for OpTy<'_, Provenance>

source§

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

source§

### impl VisitProvenance for MPlaceTy<'_, Provenance>

source§

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

source§

### impl VisitProvenance for PlaceTy<'_, Provenance>

source§

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

source§

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

source§

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

source§

### impl VisitProvenance for Pointer<Option<Provenance>>

source§

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

source§

### impl VisitProvenance for Pointer<Provenance>

source§

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

source§

### impl VisitProvenance for AllocId

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 Thread<'_, '_>

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 UnblockCallback

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<'mir, 'tcx> VisitProvenance for InitOnce<'mir, 'tcx>

source§

### impl<'mir, 'tcx> VisitProvenance for SynchronizationState<'mir, 'tcx>