macro_rules! m { () => { type Type; }; }