Trait miri::tag_gc::EvalContextExt
source · pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
// Provided methods
fn garbage_collect_tags(&mut self) -> InterpResult<'tcx> { ... }
fn remove_unreachable_tags(&mut self, tags: FxHashSet<BorTag>) { ... }
}