Trait miri::tag_gc::EvalContextExt

pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    fn garbage_collect_tags(&mut self) -> InterpResult<'tcx> { ... }
    fn remove_unreachable_tags(&mut self, tags: FxHashSet<BorTag>) { ... }
}

Provided Methods

fn garbage_collect_tags(&mut self) -> InterpResult<'tcx>

fn remove_unreachable_tags(&mut self, tags: FxHashSet<BorTag>)

Implementors

impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for MiriInterpCx<'mir, 'tcx>