src/test/ui/coherence/issue-100191.stderr

   1 error[E0210]: type parameter `T` must be used as the type parameter for some local type (e.g., `MyStruct<T>`)
   2   --> $DIR/issue-100191.rs:18:6
   3    |
   4 LL | impl<T> From<<A<T> as Z>::Assoc> for T {}
   5    |      ^ type parameter `T` must be used as the type parameter for some local type
   6    |
   7    = note: implementing a foreign trait is only possible if at least one of the types for which it is implemented is local
   8    = note: only traits defined in the current crate can be implemented for a type parameter
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0210`.