tests/ui/generic-associated-types/issue-102114.rs

   1 trait A {
   2     type B<'b>;
   3     fn a() -> Self::B<'static>;
   4 }
   5
   6 struct C;
   7
   8 struct Wrapper<T>(T);
   9
  10 impl A for C {
  11     type B<T> = Wrapper<T>;
  12     //~^ ERROR type `B` has 1 type parameter but its trait declaration has 0 type parameters
  13     fn a() -> Self::B<'static> {}
  14 }
  15
  16 fn main() {}