1 error: cannot implement trait on type alias impl trait
2 --> $DIR/nested-tait-inference3.rs:10:10
4 LL | impl Foo<FooX> for () { }
7 note: type alias impl trait defined here
8 --> $DIR/nested-tait-inference3.rs:6:13
10 LL | type FooX = impl Debug;
13 error: aborting due to previous error