blob: e56c8622ece0364d07ef3178f84bb6300960df87 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
trait Foo
where
for<'a> &'a Self: Bar,
{
}
impl Foo for () {}
trait Bar {}
impl Bar for &() {}
fn foo<T: Foo>() {}
//~^ ERROR the trait bound `for<'a> &'a T: Bar` is not satisfied
fn main() {}
|