1 error: cannot implement trait on type alias impl trait
2 --> $DIR/coherence.rs:14:41
4 LL | impl<T> foreign_crate::ForeignTrait for AliasOfForeignType<T> {}
5 | ^^^^^^^^^^^^^^^^^^^^^
7 note: type alias impl trait defined here
8 --> $DIR/coherence.rs:9:30
10 LL | type AliasOfForeignType<T> = impl LocalTrait;
13 error: aborting due to previous error