1 error: cannot implement trait on type alias impl trait
2 --> $DIR/issue-84660-trait-impl-for-tait.rs:15:15
4 LL | impl TraitArg<Bar> for () {
7 note: type alias impl trait defined here
8 --> $DIR/issue-84660-trait-impl-for-tait.rs:8:12
10 LL | type Bar = impl Foo;
13 error: aborting due to previous error