blob: 5493a4e5f10a817d4f0eb924537a44ef8e6b2193 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
trait Foo: Sized {
fn foo(self);
}
fn foo<'a,'b,T>(x: &'a T, y: &'b T)
where &'a T : Foo, //~ ERROR type annotations needed
&'b T : Foo
{
x.foo();
y.foo();
}
fn main() { }
|