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