trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn addr_from_alloc_id_uncached(
&self,
global_state: &mut GlobalStateInner,
alloc_id: AllocId,
memory_kind: MemoryKind,
) -> InterpResult<'tcx, u64> { ... }
}