pub macro compile_time_machine(<$mir: lifetime, $tcx: lifetime>) {
    ...
}
Expand description

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.