trait CompileTimeMachine<'mir, 'tcx: 'mir, T> = Machine<'mir, 'tcx, MemoryKind = T, Provenance = AllocId, ExtraFnVal = !, FrameExtra = (), AllocExtra = (), MemoryMap = FxIndexMap<AllocId, (MemoryKind<T>, Allocation)>>;