error: unconstrained opaque type
  --> $DIR/issue-87258_a.rs:18:26
   |
LL |     type FooFuture<'a> = impl Trait1;
   |                          ^^^^^^^^^^^
   |
   = note: `FooFuture` must be used in combination with a concrete type within the same module

error: aborting due to previous error