src/test/ui/traits/issue-43784-supertrait.rs

   1 pub trait Partial: Copy {
   2 }
   3
   4 pub trait Complete: Partial {
   5 }
   6
   7 impl<T> Partial for T where T: Complete {}
   8 impl<T> Complete for T {} //~ ERROR the trait bound `T: Copy` is not satisfied
   9
  10 fn main() {}