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