Macro miri::compile_time_machine

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