Macro miri::interpret::compile_time_machine
source · 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.