Macro rustc_smir::run

macro_rules! run {
    ($args:expr, $callback:expr) => { ... };
    ($args:expr, $tcx:ident, $callback:expr) => { ... };
}