tests/ui/associated-type-bounds/bad-universal-in-impl-sig.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

#![feature(associated_type_bounds)]

trait Trait {
    type Item;
}

trait Trait2 {}

// It's not possible to insert a universal `impl Trait` here!
impl dyn Trait<Item: Trait2> {}
//~^ ERROR associated type bounds are only allowed in where clauses and function signatures

fn main() {}