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>) { ... }
}

Provided Methods§

source

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

source

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

Implementors§

source§

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