}
impl <T, T1> Foo for T {
+ //~^ ERROR: the type parameter `T1` is not constrained
type F<T1> = &[u8];
//~^ ERROR: the name `T1` is already used for
- //~| ERROR: missing lifetime specifier
+ //~| ERROR: `&` without an explicit lifetime name cannot be used here
}
fn main() {}