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

   1 trait MyTrait {}
   2 struct AssertMyTrait<T: MyTrait>(T);
   3
   4 trait HelperTrait {
   5     type MyItem;
   6 }
   7
   8 impl HelperTrait for () {
   9     type MyItem = Option<((AssertMyTrait<bool>, u8))>; //~ ERROR the trait bound
  10 }
  11
  12 fn main() {}