blob: d00c036fbd5506b0cb187606feae5f2be0549abe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait Foo {
type F<'a>;
fn identity<'a>(t: &'a Self::F<'a>) -> &'a Self::F<'a> { t }
}
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: `&` without an explicit lifetime name cannot be used here
}
fn main() {}
|