Macro rustc_const_eval::interpret::machine::compile_time_machine

pub macro compile_time_machine(<$tcx: lifetime>) {
    ...
}

A lot of the flexibility above is just needed for Miri, but all “compile-time” machines (CTFE and ConstProp) use the same instance. Here, we share that code.