☰
VisitTags
Required Methods
visit_tags
Implementations on Foreign Types
Option<T>
RefCell<T>
Implementors
In miri
?
Trait
miri
::
VisitTags
source
·
[
−
]
pub trait VisitTags { // Required method fn
visit_tags
(&self, visit: &mut dyn
FnMut
(
BorTag
)); }
Required Methods
§
source
fn
visit_tags
(&self, visit: &mut dyn
FnMut
(
BorTag
))
Implementations on Foreign Types
§
source
§
impl<T:
VisitTags
>
VisitTags
for
RefCell
<T>
source
§
fn
visit_tags
(&self, visit: &mut dyn
FnMut
(
BorTag
))
source
§
impl<T:
VisitTags
>
VisitTags
for
Option
<T>
source
§
fn
visit_tags
(&self, visit: &mut dyn
FnMut
(
BorTag
))
Implementors
§
source
§
impl
VisitTags
for
AllocState
source
§
impl
VisitTags
for
Immediate
<
Provenance
>
source
§
impl
VisitTags
for
MemPlaceMeta
<
Provenance
>
source
§
impl
VisitTags
for
Scalar
<
Provenance
>
source
§
impl
VisitTags
for
Provenance
source
§
impl
VisitTags
for
Stacks
source
§
impl
VisitTags
for
BorTag
source
§
impl
VisitTags
for
FrameState
source
§
impl
VisitTags
for miri::borrow_tracker::
GlobalStateInner
source
§
impl
VisitTags
for
Tree
source
§
impl
VisitTags
for
GlobalState
source
§
impl
VisitTags
for
VClockAlloc
source
§
impl
VisitTags
for
Thread
<'_, '_>
source
§
impl
VisitTags
for
ThreadManager
<'_, '_>
source
§
impl
VisitTags
for
StoreBufferAlloc
source
§
impl
VisitTags
for miri::intptrcast::
GlobalStateInner
source
§
impl
VisitTags
for
AllocExtra
<'_>
source
§
impl
VisitTags
for
FrameExtra
<'_>
source
§
impl
VisitTags
for
MiriMachine
<'_, '_>
source
§
impl
VisitTags
for
EnvVars
<'_>
source
§
impl
VisitTags
for
CatchUnwindData
<'_>
source
§
impl
VisitTags
for
UnblockCallback
source
§
impl
VisitTags
for
TlsData
<'_>
source
§
impl
VisitTags
for
DirHandler
source
§
impl
VisitTags
for
FileHandler
source
§
impl
VisitTags
for
Allocation
<
Provenance
,
AllocExtra
<'_>>
source
§
impl
VisitTags
for
Frame
<'_, '_,
Provenance
,
FrameExtra
<'_>>
source
§
impl
VisitTags
for
ImmTy
<'_,
Provenance
>
source
§
impl
VisitTags
for
MPlaceTy
<'_,
Provenance
>
source
§
impl
VisitTags
for
OpTy
<'_,
Provenance
>
source
§
impl
VisitTags
for
PlaceTy
<'_,
Provenance
>
source
§
impl
VisitTags
for
Pointer
<
Option
<
Provenance
>>
source
§
impl
VisitTags
for
Pointer
<
Provenance
>
source
§
impl
VisitTags
for
MiriInterpCx
<'_, '_>
source
§
impl<'mir, 'tcx>
VisitTags
for
InitOnce
<'mir, 'tcx>
source
§
impl<'mir, 'tcx>
VisitTags
for
SynchronizationState
<'mir, 'tcx>