src/test/ui/issues/issue-43355.rs

   1 pub trait Trait1<X> {
   2     type Output;
   3 }
   4
   5 pub trait Trait2<X> {}
   6
   7 pub struct A;
   8
   9 impl<X, T> Trait1<X> for T where T: Trait2<X> {
  10     type Output = ();
  11 }
  12
  13 impl<X> Trait1<Box<X>> for A {
  14 //~^ ERROR conflicting implementations of trait
  15 //~| downstream crates may implement trait `Trait2<std::boxed::Box<_>>` for type `A`
  16     type Output = i32;
  17 }
  18
  19 fn main() {}