1 error[E0276]: impl has stricter requirements than trait
2 --> $DIR/traits-misc-mismatch-2.rs:23:5
4 19 | fn zip<B, U: Iterator<U>>(self, other: U) -> ZipIterator<Self, U>;
5 | ------------------------------------------------------------------ definition of `zip` from trait
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}
12 | |_____^ ...ending here: impl has extra requirement `U: Iterator<B>`
14 error: aborting due to previous error