tests/ui/generic-associated-types/gat-trait-path-missing-lifetime.rs

   1 trait X {
   2   type Y<'a>;
   3
   4   fn foo<'a>(t : Self::Y<'a>) -> Self::Y<'a> { t }
   5 }
   6
   7 impl<T> X for T {
   8   fn foo<'a, T1: X<Y = T1>>(t : T1) -> T1::Y<'a> {
   9     //~^ ERROR missing generics for associated type
  10     //~^^ ERROR missing generics for associated type
  11     t
  12   }
  13 }
  14
  15 fn main() {}