pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> { // Provided method fn run_provenance_gc(&mut self) { ... } }