2016-10-19 17:17:35 -04:00
|
|
|
error[E0276]: impl has stricter requirements than trait
|
|
|
|
--> $DIR/traits-misc-mismatch-2.rs:23:5
|
|
|
|
|
|
2016-10-23 17:22:06 -07:00
|
|
|
19 | fn zip<B, U: Iterator<U>>(self, other: U) -> ZipIterator<Self, U>;
|
|
|
|
| ------------------------------------------------------------------ definition of `zip` from trait
|
2016-10-19 17:17:35 -04:00
|
|
|
...
|
2017-04-14 16:38:10 -07:00
|
|
|
23 | / fn zip<B, U: Iterator<B>>(self, other: U) -> ZipIterator<T, U> {
|
2016-10-23 17:22:06 -07:00
|
|
|
24 | | //~^ ERROR E0276
|
|
|
|
25 | | ZipIterator{a: self, b: other}
|
|
|
|
26 | | }
|
2017-04-14 16:38:10 -07:00
|
|
|
| |_____^ impl has extra requirement `U: Iterator<B>`
|
2016-10-19 17:17:35 -04:00
|
|
|
|
2017-07-02 13:49:30 +03:00
|
|
|
error: aborting due to previous error
|
2016-10-19 17:17:35 -04:00
|
|
|
|