tests/ui/associated-type-bounds/bad-universal-in-dyn-in-where-clause.rs


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