main.rs

trait Trait {
    fn p(&self);
}

macro_rules! m {
    ($v: expr, $t: ty, $n: literal) => {
        impl Trait for $t {
            fn p(&self) {
                print!($n);
            }
        }
        $v.p();
    }
}

fn main() {
    m!((0), (i32), "1");
    m!((0,), (u32,), "2");
    m!((0, 0), (i32, i32), "3");
    m!((0, 0,), (u32, i32,), "4");
}