error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied
  --> $DIR/missing-assoc-type-bound-restriction.rs:17:1
   |
LL |   trait Parent {
   |   ------------ required by `Parent`
...
LL |   impl<A, T: Parent<Ty = A>> Parent for ParentWrapper<T> {
   |   ^                                                     - help: consider further restricting the associated type: `where <T as Parent>::Assoc: Child<A>`
   |  _|
   | |
LL | |
LL | |     type Ty = A;
LL | |     type Assoc = ChildWrapper<T::Assoc>;
LL | |
LL | |
LL | | }
   | |_^ the trait `Child<A>` is not implemented for `<T as Parent>::Assoc`

error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied
  --> $DIR/missing-assoc-type-bound-restriction.rs:20:5
   |
LL |     type Assoc: Child<Self::Ty>;
   |          ----- associated type defined here
...
LL | impl<A, T: Parent<Ty = A>> Parent for ParentWrapper<T> {
   | ------------------------------------------------------- help: consider further restricting the associated type: `where <T as Parent>::Assoc: Child<A>`
   | |
   | in this `impl` item
...
LL |     type Assoc = ChildWrapper<T::Assoc>;
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Child<A>` is not implemented for `<T as Parent>::Assoc`
   |
   = note: required because of the requirements on the impl of `Child<A>` for `ChildWrapper<<T as Parent>::Assoc>`

error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied
  --> $DIR/missing-assoc-type-bound-restriction.rs:20:5
   |
LL | trait Parent {
   | ------------ required by `Parent`
...
LL | impl<A, T: Parent<Ty = A>> Parent for ParentWrapper<T> {
   |                                                       - help: consider further restricting the associated type: `where <T as Parent>::Assoc: Child<A>`
...
LL |     type Assoc = ChildWrapper<T::Assoc>;
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Child<A>` is not implemented for `<T as Parent>::Assoc`

error: aborting due to 3 previous errors

For more information about this error, try `rustc --explain E0277`.