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

   1 #![feature(generic_associated_types)]
   2   //~^ WARNING: the feature `generic_associated_types` is incomplete
   3
   4 trait X {
   5   type Y<'a>;
   6     //~^ ERROR missing generics for
   7     //~| ERROR missing generics for
   8
   9   fn foo<'a>(t : Self::Y<'a>) -> Self::Y<'a> { t }
  10 }
  11
  12 impl<T> X for T {
  13   fn foo<'a, T1: X<Y = T1>>(t : T1) -> T1::Y<'a> {
  14     t
  15   }
  16 }
  17
  18 fn main() {}