src/test/ui/associated-types/issue-43784-associated-type.rs

   1 pub trait Partial<X: ?Sized>: Copy {
   2 }
   3
   4 pub trait Complete {
   5     type Assoc: Partial<Self>;
   6 }
   7
   8 impl<T> Partial<T> for T::Assoc where
   9     T: Complete
  10 {
  11 }
  12
  13 impl<T> Complete for T {
  14     type Assoc = T; //~ ERROR the trait bound `T: Copy` is not satisfied
  15 }
  16
  17 fn main() {}