src/test/ui/associated-types/defaults-unsound-62211-1.stderr

   1 error[E0277]: `Self` doesn't implement `std::fmt::Display`
   2   --> $DIR/defaults-unsound-62211-1.rs:20:5
   3    |
   4 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
   5    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Self` cannot be formatted with the default formatter
   6    |
   7    = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead
   8 note: required by a bound in `UncheckedCopy::Output`
   9   --> $DIR/defaults-unsound-62211-1.rs:20:86
  10    |
  11 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  12    |                                                                                      ^^^^^^^ required by this bound in `UncheckedCopy::Output`
  13 help: consider further restricting `Self`
  14    |
  15 LL | trait UncheckedCopy: Sized + std::fmt::Display {
  16    |                            +++++++++++++++++++
  17
  18 error[E0277]: cannot add-assign `&'static str` to `Self`
  19   --> $DIR/defaults-unsound-62211-1.rs:20:5
  20    |
  21 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  22    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `Self += &'static str`
  23    |
  24 note: required by a bound in `UncheckedCopy::Output`
  25   --> $DIR/defaults-unsound-62211-1.rs:20:47
  26    |
  27 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  28    |                                               ^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `UncheckedCopy::Output`
  29 help: consider further restricting `Self`
  30    |
  31 LL | trait UncheckedCopy: Sized + AddAssign<&'static str> {
  32    |                            +++++++++++++++++++++++++
  33
  34 error[E0277]: the trait bound `Self: Deref` is not satisfied
  35   --> $DIR/defaults-unsound-62211-1.rs:20:5
  36    |
  37 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  38    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Deref` is not implemented for `Self`
  39    |
  40 note: required by a bound in `UncheckedCopy::Output`
  41   --> $DIR/defaults-unsound-62211-1.rs:20:25
  42    |
  43 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  44    |                         ^^^^^^^^^^^^^^^^^^^ required by this bound in `UncheckedCopy::Output`
  45 help: consider further restricting `Self`
  46    |
  47 LL | trait UncheckedCopy: Sized + Deref {
  48    |                            +++++++
  49
  50 error[E0277]: the trait bound `Self: Copy` is not satisfied
  51   --> $DIR/defaults-unsound-62211-1.rs:20:5
  52    |
  53 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  54    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `Self`
  55    |
  56 note: required by a bound in `UncheckedCopy::Output`
  57   --> $DIR/defaults-unsound-62211-1.rs:20:18
  58    |
  59 LL |     type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
  60    |                  ^^^^ required by this bound in `UncheckedCopy::Output`
  61 help: consider further restricting `Self`
  62    |
  63 LL | trait UncheckedCopy: Sized + Copy {
  64    |                            ++++++
  65
  66 error: aborting due to 4 previous errors
  67
  68 For more information about this error, try `rustc --explain E0277`.