5 type Assoc: Child<Self::Ty>;
10 struct ChildWrapper<T>(T);
12 impl<A, T> Child<A> for ChildWrapper<T> where T: Child<A> {}
14 struct ParentWrapper<T>(T);
16 impl<A, T: Parent<Ty = A>> Parent for ParentWrapper<T> {
18 type Assoc = ChildWrapper<T::Assoc>;