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