tests/ui/generic-associated-types/issue-87258_b.stderr

   1 error: unconstrained opaque type
   2   --> $DIR/issue-87258_b.rs:16:49
   3    |
   4 LL | type Helper<'xenon, 'yttrium, KABOOM: Trait2> = impl Trait1;
   5    |                                                 ^^^^^^^^^^^
   6    |
   7    = note: `Helper` must be used in combination with a concrete type within the same module
   8
   9 error: aborting due to previous error
  10