src/test/ui/type-alias-impl-trait/coherence.stderr

   1 error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates
   2   --> $DIR/coherence.rs:14:6
   3    |
   4 LL | impl<T> foreign_crate::ForeignTrait for AliasOfForeignType<T> {}
   5    |      ^ unconstrained type parameter
   6
   7 error: aborting due to previous error
   8
   9 For more information about this error, try `rustc --explain E0207`.