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