1 error[E0720]: opaque type expands to a recursive type
2 --> $DIR/issue-60473.rs:15:12
4 LL | let x: impl Trait<A> = (); // FIXME: The error doesn't seem correct.
5 | ^^^^^^^^^^^^^ expands to a recursive type
7 = note: type resolves to itself
9 error: aborting due to previous error
11 For more information about this error, try `rustc --explain E0720`.