src/test/ui/compare-method/traits-misc-mismatch-2.stderr

   1 error[E0276]: impl has stricter requirements than trait
   2   --> $DIR/traits-misc-mismatch-2.rs:23:5
   3    |
   4 19 |       fn zip<B, U: Iterator<U>>(self, other: U) -> ZipIterator<Self, U>;
   5    |       ------------------------------------------------------------------ definition of `zip` from trait
   6 ...
   7 23 |       fn zip<B, U: Iterator<B>>(self, other: U) -> ZipIterator<T, U> {
   8    |  _____^ starting here...
   9 24 | |     //~^ ERROR E0276
  10 25 | |         ZipIterator{a: self, b: other}
  11 26 | |     }
  12    | |_____^ ...ending here: impl has extra requirement `U: Iterator<B>`
  13
  14 error: aborting due to previous error
  15