src/test/ui/suggestions/impl-trait-with-missing-bounds.stderr

   1 error[E0277]: `<impl Iterator as Iterator>::Item` doesn't implement `Debug`
   2   --> $DIR/impl-trait-with-missing-bounds.rs:14:13
   3    |
   4 LL |         qux(constraint);
   5    |             ^^^^^^^^^^ `<impl Iterator as Iterator>::Item` cannot be formatted using `{:?}` because it doesn't implement `Debug`
   6    |
   7    = help: the trait `Debug` is not implemented for `<impl Iterator as Iterator>::Item`
   8 note: required by a bound in `qux`
   9   --> $DIR/impl-trait-with-missing-bounds.rs:50:16
  10    |
  11 LL | fn qux(_: impl std::fmt::Debug) {}
  12    |                ^^^^^^^^^^^^^^^ required by this bound in `qux`
  13 help: introduce a type parameter with a trait bound instead of using `impl Trait`
  14    |
  15 LL | fn bar<T, I: Iterator>(t: T, constraints: I) where T: std::fmt::Debug, <I as Iterator>::Item: Debug {
  16    |         +++++++++++++                     ~                          ++++++++++++++++++++++++++++++
  17
  18 error[E0277]: `<impl Iterator as Iterator>::Item` doesn't implement `Debug`
  19   --> $DIR/impl-trait-with-missing-bounds.rs:22:13
  20    |
  21 LL |         qux(constraint);
  22    |             ^^^^^^^^^^ `<impl Iterator as Iterator>::Item` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  23    |
  24    = help: the trait `Debug` is not implemented for `<impl Iterator as Iterator>::Item`
  25 note: required by a bound in `qux`
  26   --> $DIR/impl-trait-with-missing-bounds.rs:50:16
  27    |
  28 LL | fn qux(_: impl std::fmt::Debug) {}
  29    |                ^^^^^^^^^^^^^^^ required by this bound in `qux`
  30 help: introduce a type parameter with a trait bound instead of using `impl Trait`
  31    |
  32 LL | fn baz<I: Iterator>(t: impl std::fmt::Debug, constraints: I) where <I as Iterator>::Item: Debug {
  33    |       +++++++++++++                                       ~  ++++++++++++++++++++++++++++++++++
  34
  35 error[E0277]: `<impl Iterator as Iterator>::Item` doesn't implement `Debug`
  36   --> $DIR/impl-trait-with-missing-bounds.rs:30:13
  37    |
  38 LL |         qux(constraint);
  39    |             ^^^^^^^^^^ `<impl Iterator as Iterator>::Item` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  40    |
  41    = help: the trait `Debug` is not implemented for `<impl Iterator as Iterator>::Item`
  42 note: required by a bound in `qux`
  43   --> $DIR/impl-trait-with-missing-bounds.rs:50:16
  44    |
  45 LL | fn qux(_: impl std::fmt::Debug) {}
  46    |                ^^^^^^^^^^^^^^^ required by this bound in `qux`
  47 help: introduce a type parameter with a trait bound instead of using `impl Trait`
  48    |
  49 LL | fn bat<I, T: std::fmt::Debug, U: Iterator>(t: T, constraints: U, _: I) where <U as Iterator>::Item: Debug {
  50    |                             +++++++++++++                     ~        ++++++++++++++++++++++++++++++++++
  51
  52 error[E0277]: `<impl Iterator + std::fmt::Debug as Iterator>::Item` doesn't implement `Debug`
  53   --> $DIR/impl-trait-with-missing-bounds.rs:37:13
  54    |
  55 LL |         qux(constraint);
  56    |             ^^^^^^^^^^ `<impl Iterator + std::fmt::Debug as Iterator>::Item` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  57    |
  58    = help: the trait `Debug` is not implemented for `<impl Iterator + std::fmt::Debug as Iterator>::Item`
  59 note: required by a bound in `qux`
  60   --> $DIR/impl-trait-with-missing-bounds.rs:50:16
  61    |
  62 LL | fn qux(_: impl std::fmt::Debug) {}
  63    |                ^^^^^^^^^^^^^^^ required by this bound in `qux`
  64 help: introduce a type parameter with a trait bound instead of using `impl Trait`
  65    |
  66 LL | fn bak<I: Iterator + std::fmt::Debug>(constraints: I) where <I as Iterator>::Item: Debug {
  67    |       +++++++++++++++++++++++++++++++              ~  ++++++++++++++++++++++++++++++++++
  68
  69 error[E0277]: `<impl Iterator as Iterator>::Item` doesn't implement `Debug`
  70   --> $DIR/impl-trait-with-missing-bounds.rs:6:13
  71    |
  72 LL |         qux(constraint);
  73    |             ^^^^^^^^^^ `<impl Iterator as Iterator>::Item` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  74    |
  75    = help: the trait `Debug` is not implemented for `<impl Iterator as Iterator>::Item`
  76 note: required by a bound in `qux`
  77   --> $DIR/impl-trait-with-missing-bounds.rs:50:16
  78    |
  79 LL | fn qux(_: impl std::fmt::Debug) {}
  80    |                ^^^^^^^^^^^^^^^ required by this bound in `qux`
  81 help: introduce a type parameter with a trait bound instead of using `impl Trait`
  82    |
  83 LL | fn foo<I: Iterator>(constraints: I) where <I as Iterator>::Item: Debug {
  84    |       +++++++++++++              ~  ++++++++++++++++++++++++++++++++++
  85
  86 error[E0277]: `<impl Iterator as Iterator>::Item` doesn't implement `Debug`
  87   --> $DIR/impl-trait-with-missing-bounds.rs:45:13
  88    |
  89 LL |         qux(constraint);
  90    |             ^^^^^^^^^^ `<impl Iterator as Iterator>::Item` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  91    |
  92    = help: the trait `Debug` is not implemented for `<impl Iterator as Iterator>::Item`
  93 note: required by a bound in `qux`
  94   --> $DIR/impl-trait-with-missing-bounds.rs:50:16
  95    |
  96 LL | fn qux(_: impl std::fmt::Debug) {}
  97    |                ^^^^^^^^^^^^^^^ required by this bound in `qux`
  98 help: introduce a type parameter with a trait bound instead of using `impl Trait`
  99    |
 100 LL | fn baw<I: Iterator>(constraints: I) where <I as Iterator>::Item: Debug {
 101    |       ~~~~~~~~~~~~~              ~  ++++++++++++++++++++++++++++++++++
 102
 103 error: aborting due to 6 previous errors
 104
 105 For more information about this error, try `rustc --explain E0277`.