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