src/test/ui/associated-types/defaults-suitability.stderr

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

error[E0277]: the trait bound `NotClone: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:20:27
   |
LL | trait Tr2 where Self::Ty: Clone {
   | --------------------------^^^^^
   | |                         |
   | |                         the trait `Clone` is not implemented for `NotClone`
   | required by `Tr2`

error[E0277]: the trait bound `T: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:33:15
   |
LL | trait Foo<T> {
   | ------------ required by `Foo`
LL |     type Bar: Clone = Vec<T>;
   |               ^^^^^ 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:39:17
   |
LL | trait Bar: Sized {
   | ---------------- required by `Bar`
LL |     // `(): Foo<Self>` might hold for some possible impls but not all.
LL |     type Assoc: Foo<Self> = ();
   |                 ^^^^^^^^^ the trait `Foo<Self>` is not implemented for `()`

error[E0277]: the trait bound `NotClone: IsU8<NotClone>` is not satisfied
  --> $DIR/defaults-suitability.rs:59:18
   |
LL | / trait D where
LL | |     Vec<Self::Assoc>: Clone,
LL | |
LL | |     Self::Assoc: IsU8<Self::Assoc>,
   | |                  ^^^^^^^^^^^^^^^^^ the trait `IsU8<NotClone>` is not implemented for `NotClone`
...  |
LL | |     type Assoc = NotClone;
LL | | }
   | |_- required by `D`

error[E0277]: the trait bound `bool: IsU8<NotClone>` is not satisfied
  --> $DIR/defaults-suitability.rs:61:11
   |
LL | / trait D where
LL | |     Vec<Self::Assoc>: Clone,
LL | |
LL | |     Self::Assoc: IsU8<Self::Assoc>,
LL | |
LL | |     bool: IsU8<Self::Assoc>,
   | |           ^^^^^^^^^^^^^^^^^ the trait `IsU8<NotClone>` is not implemented for `bool`
...  |
LL | |     type Assoc = NotClone;
LL | | }
   | |_- required by `D`

error[E0277]: the trait bound `NotClone: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:57:23
   |
LL | / trait D where
LL | |     Vec<Self::Assoc>: Clone,
   | |                       ^^^^^ the trait `Clone` is not implemented for `NotClone`
LL | |
LL | |     Self::Assoc: IsU8<Self::Assoc>,
...  |
LL | |     type Assoc = NotClone;
LL | | }
   | |_- required by `D`
   |
   = note: required because of the requirements on the impl of `Clone` for `Vec<NotClone>`

error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: Clone` is not satisfied
  --> $DIR/defaults-suitability.rs:72:15
   |
LL | trait Foo2<T> {
   | ------------- required by `Foo2`
LL |     type Bar: Clone = Vec<Self::Baz>;
   |               ^^^^^ 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:81:15
   |
LL | trait Foo25<T: Clone> {
   | --------------------- required by `Foo25`
LL |     type Bar: Clone = Vec<Self::Baz>;
   |               ^^^^^ 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:90:16
   |
LL | / trait Foo3<T> where
LL | |     Self::Bar: Clone,
LL | |     Self::Baz: Clone,
   | |                ^^^^^ the trait `Clone` is not implemented for `T`
LL | |
...  |
LL | |     type Baz = T;
LL | | }
   | |_- required by `Foo3`
   |
help: consider further restricting type parameter `T`
   |
LL |     Self::Baz: Clone, T: Clone
   |                     ^^^^^^^^^^

error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
  --> $DIR/defaults-suitability.rs:27:5
   |
LL |     type Ty = Vec<[u8]>;
   |     ^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
   | 
  ::: $SRC_DIR/alloc/src/vec.rs:LL:COL
   |
LL | pub struct Vec<T> {
   |                - required by this bound in `Vec`
   |
   = help: the trait `Sized` is not implemented for `[u8]`

error: aborting due to 11 previous errors

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