| pub trait Partial<X: ?Sized>: Copy { | |
| } | |
| pub trait Complete { | |
| type Assoc: Partial<Self>; | |
| } | |
| impl<T> Partial<T> for T::Assoc where | |
| T: Complete | |
| { | |
| } | |
| impl<T> Complete for T { | |
| type Assoc = T; //~ ERROR the trait bound `T: Copy` is not satisfied | |
| } | |
| fn main() {} |