1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#[lang = "sized"] pub trait Sized {} macro_rules! t { () => { i32 }; } fn id<T>(arg: T) -> T { arg } fn main() -> i32 { id::<t!()>(15) - 15 }