tests/ui/suggestions/correct-binder-for-arbitrary-bound-sugg.rs


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() {}