1 error[E0720]: opaque type expands to a recursive type
2 --> $DIR/infinite-impl-trait-issue-38064.rs:8:13
4 LL | fn foo() -> impl Quux {
5 | ^^^^^^^^^ expands to self-referential type
7 = note: expanded type is `foo::Foo<bar::Bar<impl Quux>>`
9 error[E0720]: opaque type expands to a recursive type
10 --> $DIR/infinite-impl-trait-issue-38064.rs:14:13
12 LL | fn bar() -> impl Quux {
13 | ^^^^^^^^^ expands to self-referential type
15 = note: expanded type is `bar::Bar<foo::Foo<impl Quux>>`
17 error: aborting due to 2 previous errors
19 For more information about this error, try `rustc --explain E0720`.