error[E0277]: the trait bound `NotClone: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:13:5
   |
LL |     type Ty: Clone = NotClone;
   |     ^^^^^^^^^-----^^^^^^^^^^^^
   |     |        |
   |     |        required by this bound in `Tr::Ty`
   |     the trait `Clone` is not implemented for `NotClone`

error[E0277]: the trait bound `NotClone: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:22:5
   |
LL |     Self::Ty: Clone,
   |               ----- required by this bound in `Tr2::Ty`
LL | {
LL |     type Ty = NotClone;
   |     ^^^^^--^^^^^^^^^^^^
   |     |    |
   |     |    required by a bound in this
   |     the trait `Clone` is not implemented for `NotClone`

error[E0277]: the trait bound `T: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:28:5
   |
LL |     type Bar: Clone = Vec<T>;
   |     ^^^^^^^^^^-----^^^^^^^^^^
   |     |         |
   |     |         required by this bound in `Foo::Bar`
   |     the trait `Clone` is not implemented for `T`
   |
   = note: required because of the requirements on the impl of `Clone` for `Vec<T>`
help: consider restricting type parameter `T`
   |
LL | trait Foo<T: Clone> {
   |            ^^^^^^^

error[E0277]: the trait bound `(): Foo<Self>` is not satisfied
  --> $DIR/defaults-suitability.rs:34:5
   |
LL |     type Assoc: Foo<Self> = ();
   |     ^^^^^^^^^^^^---------^^^^^^
   |     |           |
   |     |           required by this bound in `Bar::Assoc`
   |     the trait `Foo<Self>` is not implemented for `()`

error[E0277]: the trait bound `NotClone: IsU8<NotClone>` is not satisfied
  --> $DIR/defaults-suitability.rs:56:5
   |
LL |     Self::Assoc: IsU8<Self::Assoc>,
   |                  ----------------- required by this bound in `D::Assoc`
...
LL |     type Assoc = NotClone;
   |     ^^^^^-----^^^^^^^^^^^^
   |     |    |
   |     |    required by a bound in this
   |     the trait `IsU8<NotClone>` is not implemented for `NotClone`

error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:65:5
   |
LL |     type Bar: Clone = Vec<Self::Baz>;
   |     ^^^^^^^^^^-----^^^^^^^^^^^^^^^^^^
   |     |         |
   |     |         required by this bound in `Foo2::Bar`
   |     the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz`
   |
   = note: required because of the requirements on the impl of `Clone` for `Vec<<Self as Foo2<T>>::Baz>`
help: consider further restricting the associated type
   |
LL | trait Foo2<T> where <Self as Foo2<T>>::Baz: Clone {
   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0277]: the trait bound `<Self as Foo25<T>>::Baz: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:74:5
   |
LL |     type Bar: Clone = Vec<Self::Baz>;
   |     ^^^^^^^^^^-----^^^^^^^^^^^^^^^^^^
   |     |         |
   |     |         required by this bound in `Foo25::Bar`
   |     the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz`
   |
   = note: required because of the requirements on the impl of `Clone` for `Vec<<Self as Foo25<T>>::Baz>`
help: consider further restricting the associated type
   |
LL | trait Foo25<T: Clone> where <Self as Foo25<T>>::Baz: Clone {
   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0277]: the trait bound `T: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:87:5
   |
LL |     Self::Baz: Clone,
   |                ----- required by this bound in `Foo3::Baz`
...
LL |     type Baz = T;
   |     ^^^^^---^^^^^
   |     |    |
   |     |    required by a bound in this
   |     the trait `Clone` is not implemented for `T`
   |
help: consider further restricting type parameter `T`
   |
LL |     Self::Baz: Clone, T: Clone
   |                     ^^^^^^^^^^

error: aborting due to 8 previous errors

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