rust/tests/ui/coherence/coherence-overlap-unnormali...

20 lines
859 B
Plaintext

error[E0119]: conflicting implementations of trait `Trait` for type `Box<_>`
--> $DIR/coherence-overlap-unnormalizable-projection-1.rs:26:1
|
LL | / impl<T> Trait for T
LL | | where
LL | | T: 'static,
LL | | for<'a> T: WithAssoc<'a>,
LL | | for<'a> Box<<T as WithAssoc<'a>>::Assoc>: WhereBound,
| |_________________________________________________________- first implementation here
...
LL | impl<T> Trait for Box<T> {}
| ^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `Box<_>`
|
= note: downstream crates may implement trait `WithAssoc<'a>` for type `std::boxed::Box<_>`
= note: downstream crates may implement trait `WhereBound` for type `std::boxed::Box<<std::boxed::Box<_> as WithAssoc<'a>>::Assoc>`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0119`.