src/test/ui/coherence/coherence-projection-conflict-ty-param.stderr

   1 error[E0119]: conflicting implementations of trait `Foo<_>` for type `std::option::Option<_>`
   2   --> $DIR/coherence-projection-conflict-ty-param.rs:10:1
   3    |
   4 LL | impl <P, T: Foo<P>> Foo<P> for Option<T> {}
   5    | ---------------------------------------- first implementation here
   6 LL |
   7 LL | impl<T, U> Foo<T> for Option<U> { }
   8    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `std::option::Option<_>`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0119`.