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