1 error: unconstrained opaque type
2 --> $DIR/type-alias-impl-trait-with-cycle-error2.rs:7:12
4 LL | type Foo = impl Bar<Foo, Item = Foo>;
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^
7 = note: `Foo` must be used in combination with a concrete type within the same module
9 error: aborting due to previous error