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