src/test/ui/wf/wf-complex-assoc-type.rs


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

trait MyTrait {}
struct AssertMyTrait<T: MyTrait>(T);

trait HelperTrait {
    type MyItem;
}

impl HelperTrait for () {
    type MyItem = Option<((AssertMyTrait<bool>, u8))>; //~ ERROR the trait bound
}

fn main() {}