miri
1.89.0-nightly
(44f415c1d 2025-06-06)
In miri::
provenance_
gc
miri
::
provenance_gc
Function
remove_unreachable_tags
Copy item path
Source
fn remove_unreachable_tags<'tcx>( ecx: &mut
MiriInterpCx
<'tcx>, tags: FxHashSet<
BorTag
>, )