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

   1 pub trait Bound {}
   2 pub struct Foo<T: Bound>(T);
   3
   4 pub trait Trait1 {}
   5 impl<T: Bound> Trait1 for Foo<T> {}
   6
   7 pub trait Trait2 {}
   8 impl<T> Trait2 for Foo<T> {} //~ ERROR the trait bound `T: Bound` is not satisfied
   9
  10 fn main() {}