1 #![feature(generic_associated_types)]
6 fn identity<'a>(t: &'a Self::F<'a>) -> &'a Self::F<'a> { t }
9 impl <T, T1> Foo for T {
10 //~^ ERROR: the type parameter `T1` is not constrained
12 //~^ ERROR: the name `T1` is already used for
13 //~| ERROR: `&` without an explicit lifetime name cannot be used here