src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr

   1 error[E0277]: `<L1 as Lam<&'a u8>>::App` doesn't implement `Debug`
   2   --> $DIR/bad-bounds-on-assoc-in-trait.rs:29:6
   3    |
   4 LL | trait Case1 {
   5    |       ----- required by a bound in this
   6 ...
   7 LL |                 Debug
   8    |                 ----- required by this bound in `Case1`
   9 ...
  10 LL | impl Case1 for S1 {
  11    |      ^^^^^ `<L1 as Lam<&'a u8>>::App` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  12    |
  13    = help: the trait `for<'a> Debug` is not implemented for `<L1 as Lam<&'a u8>>::App`
  14
  15 error[E0277]: `<<T as Case1>::C as Iterator>::Item` is not an iterator
  16   --> $DIR/bad-bounds-on-assoc-in-trait.rs:34:20
  17    |
  18 LL | fn assume_case1<T: Case1>() {
  19    |                    ^^^^^ `<<T as Case1>::C as Iterator>::Item` is not an iterator
  20    |
  21    = help: the trait `Iterator` is not implemented for `<<T as Case1>::C as Iterator>::Item`
  22 help: consider further restricting the associated type
  23    |
  24 LL | fn assume_case1<T: Case1>() where <<T as Case1>::C as Iterator>::Item: Iterator {
  25    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  26
  27 error[E0277]: `<<T as Case1>::C as Iterator>::Item` cannot be sent between threads safely
  28   --> $DIR/bad-bounds-on-assoc-in-trait.rs:34:20
  29    |
  30 LL | trait Case1 {
  31    |       ----- required by a bound in this
  32 LL |     type C: Clone + Iterator<Item:
  33 LL |         Send + Iterator<Item:
  34    |         ---- required by this bound in `Case1`
  35 ...
  36 LL | fn assume_case1<T: Case1>() {
  37    |                    ^^^^^ `<<T as Case1>::C as Iterator>::Item` cannot be sent between threads safely
  38    |
  39    = help: the trait `Send` is not implemented for `<<T as Case1>::C as Iterator>::Item`
  40 help: consider further restricting the associated type
  41    |
  42 LL | fn assume_case1<T: Case1>() where <<T as Case1>::C as Iterator>::Item: Send {
  43    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  44
  45 error[E0277]: `<<T as Case1>::C as Iterator>::Item` cannot be shared between threads safely
  46   --> $DIR/bad-bounds-on-assoc-in-trait.rs:34:20
  47    |
  48 LL | trait Case1 {
  49    |       ----- required by a bound in this
  50 ...
  51 LL |         > + Sync>;
  52    |             ---- required by this bound in `Case1`
  53 ...
  54 LL | fn assume_case1<T: Case1>() {
  55    |                    ^^^^^ `<<T as Case1>::C as Iterator>::Item` cannot be shared between threads safely
  56    |
  57    = help: the trait `Sync` is not implemented for `<<T as Case1>::C as Iterator>::Item`
  58 help: consider further restricting the associated type
  59    |
  60 LL | fn assume_case1<T: Case1>() where <<T as Case1>::C as Iterator>::Item: Sync {
  61    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  62
  63 error[E0277]: `<_ as Lam<&'a u8>>::App` doesn't implement `Debug`
  64   --> $DIR/bad-bounds-on-assoc-in-trait.rs:34:20
  65    |
  66 LL | trait Case1 {
  67    |       ----- required by a bound in this
  68 ...
  69 LL |                 Debug
  70    |                 ----- required by this bound in `Case1`
  71 ...
  72 LL | fn assume_case1<T: Case1>() {
  73    |                    ^^^^^ `<_ as Lam<&'a u8>>::App` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  74    |
  75    = help: the trait `for<'a> Debug` is not implemented for `<_ as Lam<&'a u8>>::App`
  76
  77 error: aborting due to 5 previous errors
  78
  79 For more information about this error, try `rustc --explain E0277`.