src/test/ui/generic-associated-types/bugs/issue-88526.stderr

   1 error[E0207]: the type parameter `I` is not constrained by the impl trait, self type, or predicates
   2   --> $DIR/issue-88526.rs:26:13
   3    |
   4 LL | impl<'q, Q, I, F> A for TestB<Q, F>
   5    |             ^ unconstrained type parameter
   6
   7 error: aborting due to previous error
   8
   9 For more information about this error, try `rustc --explain E0207`.