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 main()17fn main() {} 18