1 2 3 4 5 6 7 8 9 10 11 12
trait Foo<T> {} macro_rules! bar { () => { () } } fn foo(x: impl Foo<bar!()>) { let () = x; //~^ ERROR mismatched types } fn main() {}