1 2 3 4 5 6 7 8 9 10 11 12 13 14
#![feature(associated_type_bounds)] trait B { type AssocType; } fn f() where dyn for<'j> B<AssocType: 'j>:, //~^ ERROR: associated type bounds are only allowed in where clauses and function signatures { } fn main() {}