macro_rules! trait_alias { ($p: vis $t: ident, $($b: tt)+) => { ... }; ($t: ident, $($b: tt)+) => { ... }; }