blob: 41135db910446cd72e01ec96e1f78597a4ab1507 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// Check that projections don't count as constraining type parameters.
struct S<T>(T);
trait Tr { type Assoc; fn test(); }
impl<T: Tr> S<T::Assoc> {
//~^ ERROR the type parameter `T` is not constrained
fn foo(self, _: T) {
T::test();
}
}
trait Trait1<T> { type Bar; }
trait Trait2<'x> { type Foo; }
impl<'a,T: Trait2<'a>> Trait1<<T as Trait2<'a>>::Foo> for T {
//~^ ERROR the lifetime parameter `'a` is not constrained
type Bar = &'a ();
}
fn main() {}
|
