Trait miri::provenance_gc::EvalContextExt

pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    // Provided methods
    fn run_provenance_gc(&mut self) { ... }
    fn remove_unreachable_tags(&mut self, tags: FxHashSet<BorTag>) { ... }
    fn remove_unreachable_allocs(&mut self, allocs: FxHashSet<AllocId>) { ... }
}

Provided Methods

fn run_provenance_gc(&mut self)

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

fn remove_unreachable_allocs(&mut self, allocs: FxHashSet<AllocId>)

Implementors

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