src/test/ui/generic-associated-types/issue-87258_a.stderr

   1 error: unconstrained opaque type
   2   --> $DIR/issue-87258_a.rs:17:26
   3    |
   4 LL |     type FooFuture<'a> = impl Trait1;
   5    |                          ^^^^^^^^^^^
   6    |
   7    = note: `FooFuture` must be used in combination with a concrete type within the same module
   8
   9 error: aborting due to previous error
  10