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