1 error: cannot implement trait on type alias impl trait
2 --> $DIR/issue-76202-trait-impl-for-tait.rs:16:1
7 note: type alias impl trait defined here
8 --> $DIR/issue-76202-trait-impl-for-tait.rs:9:10
10 LL | type F = impl Dummy;
13 error: aborting due to previous error