1 2 3 4 5 6 7 8 9
trait Trait { type Bound<'a>; } fn foo() where Trait<for<'a> Bound<'a> = &'a ()> { //~^ ERROR `for<...>` is not allowed on associated type bounds } fn main() {}