macro_rules! m {
($my_type: ty) => {
impl $my_type for u8 {}
}
trait Tr {}
m!(Tr);
m!(&'static u8); //~ ERROR expected a trait, found type
fn main() {}