Macro miri::compile_time_machine

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