#[lang = "sized"] pub trait Sized {} macro_rules! t { () => { i32 }; } fn id(arg: T) -> T { arg } fn main() -> i32 { id::(15) - 15 }