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

   1 error[E0277]: the trait bound `NotClone: std::clone::Clone` is not satisfied
   2   --> $DIR/defaults-suitability.rs:17:14
   3    |
   4 LL | trait Tr {
   5    | -------- required by `Tr`
   6 LL |     type Ty: Clone = NotClone;
   7    |              ^^^^^ the trait `std::clone::Clone` is not implemented for `NotClone`
   8
   9 error[E0277]: the trait bound `NotClone: std::clone::Clone` is not satisfied
  10   --> $DIR/defaults-suitability.rs:22:27
  11    |
  12 LL | trait Tr2 where Self::Ty: Clone {
  13    | --------------------------^^^^^
  14    | |                         |
  15    | |                         the trait `std::clone::Clone` is not implemented for `NotClone`
  16    | required by `Tr2`
  17
  18 error[E0277]: the trait bound `T: std::clone::Clone` is not satisfied
  19   --> $DIR/defaults-suitability.rs:35:15
  20    |
  21 LL | trait Foo<T> {
  22    | ------------ required by `Foo`
  23 LL |     type Bar: Clone = Vec<T>;
  24    |               ^^^^^ the trait `std::clone::Clone` is not implemented for `T`
  25    |
  26    = help: consider adding a `where T: std::clone::Clone` bound
  27    = note: required because of the requirements on the impl of `std::clone::Clone` for `std::vec::Vec<T>`
  28
  29 error[E0277]: the trait bound `(): Foo<Self>` is not satisfied
  30   --> $DIR/defaults-suitability.rs:41:17
  31    |
  32 LL | trait Bar: Sized {
  33    | ---------------- required by `Bar`
  34 LL |     // `(): Foo<Self>` might hold for some possible impls but not all.
  35 LL |     type Assoc: Foo<Self> = ();
  36    |                 ^^^^^^^^^ the trait `Foo<Self>` is not implemented for `()`
  37
  38 error[E0277]: the trait bound `NotClone: IsU8<NotClone>` is not satisfied
  39   --> $DIR/defaults-suitability.rs:61:18
  40    |
  41 LL | / trait D where
  42 LL | |     Vec<Self::Assoc>: Clone,
  43 LL | |
  44 LL | |     Self::Assoc: IsU8<Self::Assoc>,
  45    | |                  ^^^^^^^^^^^^^^^^^ the trait `IsU8<NotClone>` is not implemented for `NotClone`
  46 ...  |
  47 LL | |     type Assoc = NotClone;
  48 LL | | }
  49    | |_- required by `D`
  50
  51 error[E0277]: the trait bound `bool: IsU8<NotClone>` is not satisfied
  52   --> $DIR/defaults-suitability.rs:63:11
  53    |
  54 LL | / trait D where
  55 LL | |     Vec<Self::Assoc>: Clone,
  56 LL | |
  57 LL | |     Self::Assoc: IsU8<Self::Assoc>,
  58 LL | |
  59 LL | |     bool: IsU8<Self::Assoc>,
  60    | |           ^^^^^^^^^^^^^^^^^ the trait `IsU8<NotClone>` is not implemented for `bool`
  61 ...  |
  62 LL | |     type Assoc = NotClone;
  63 LL | | }
  64    | |_- required by `D`
  65
  66 error[E0277]: the trait bound `NotClone: std::clone::Clone` is not satisfied
  67   --> $DIR/defaults-suitability.rs:59:23
  68    |
  69 LL | / trait D where
  70 LL | |     Vec<Self::Assoc>: Clone,
  71    | |                       ^^^^^ the trait `std::clone::Clone` is not implemented for `NotClone`
  72 LL | |
  73 LL | |     Self::Assoc: IsU8<Self::Assoc>,
  74 ...  |
  75 LL | |     type Assoc = NotClone;
  76 LL | | }
  77    | |_- required by `D`
  78    |
  79    = note: required because of the requirements on the impl of `std::clone::Clone` for `std::vec::Vec<NotClone>`
  80
  81 error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: std::clone::Clone` is not satisfied
  82   --> $DIR/defaults-suitability.rs:74:15
  83    |
  84 LL | trait Foo2<T> {
  85    | ------------- required by `Foo2`
  86 LL |     type Bar: Clone = Vec<Self::Baz>;
  87    |               ^^^^^ the trait `std::clone::Clone` is not implemented for `<Self as Foo2<T>>::Baz`
  88    |
  89    = help: consider adding a `where <Self as Foo2<T>>::Baz: std::clone::Clone` bound
  90    = note: required because of the requirements on the impl of `std::clone::Clone` for `std::vec::Vec<<Self as Foo2<T>>::Baz>`
  91
  92 error[E0277]: the trait bound `<Self as Foo25<T>>::Baz: std::clone::Clone` is not satisfied
  93   --> $DIR/defaults-suitability.rs:83:15
  94    |
  95 LL | trait Foo25<T: Clone> {
  96    | --------------------- required by `Foo25`
  97 LL |     type Bar: Clone = Vec<Self::Baz>;
  98    |               ^^^^^ the trait `std::clone::Clone` is not implemented for `<Self as Foo25<T>>::Baz`
  99    |
 100    = help: consider adding a `where <Self as Foo25<T>>::Baz: std::clone::Clone` bound
 101    = note: required because of the requirements on the impl of `std::clone::Clone` for `std::vec::Vec<<Self as Foo25<T>>::Baz>`
 102
 103 error[E0277]: the trait bound `T: std::clone::Clone` is not satisfied
 104   --> $DIR/defaults-suitability.rs:92:16
 105    |
 106 LL | / trait Foo3<T> where
 107 LL | |     Self::Bar: Clone,
 108 LL | |     Self::Baz: Clone,
 109    | |                ^^^^^ the trait `std::clone::Clone` is not implemented for `T`
 110 LL | |
 111 ...  |
 112 LL | |     type Baz = T;
 113 LL | | }
 114    | |_- required by `Foo3`
 115    |
 116    = help: consider adding a `where T: std::clone::Clone` bound
 117
 118 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
 119   --> $DIR/defaults-suitability.rs:29:5
 120    |
 121 LL |     type Ty = Vec<[u8]>;
 122    |     ^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
 123    |
 124    = help: the trait `std::marker::Sized` is not implemented for `[u8]`
 125    = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
 126    = note: required by `std::vec::Vec`
 127
 128 error: aborting due to 11 previous errors
 129
 130 For more information about this error, try `rustc --explain E0277`.