diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-22872.stderr | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-22872.stderr b/src/test/ui/issues/issue-22872.stderr new file mode 100644 index 000000000..a84cb7d8c --- /dev/null +++ b/src/test/ui/issues/issue-22872.stderr @@ -0,0 +1,21 @@ +error[E0277]: `<P as Process<'_>>::Item` is not an iterator + --> $DIR/issue-22872.rs:20:40 + | +LL | let _: Box<dyn for<'b> Wrap<'b>> = Box::new(Wrapper(process)); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ `<P as Process<'_>>::Item` is not an iterator + | + = help: the trait `Iterator` is not implemented for `<P as Process<'_>>::Item` +note: required because of the requirements on the impl of `for<'b> Wrap<'b>` for `Wrapper<P>` + --> $DIR/issue-22872.rs:7:13 + | +LL | impl<'b, P> Wrap<'b> for Wrapper<P> + | ^^^^^^^^ ^^^^^^^^^^ + = note: required for the cast from `Wrapper<P>` to the object type `dyn for<'b> Wrap<'b>` +help: consider further restricting the associated type + | +LL | fn push_process<P>(process: P) where P: Process<'static>, <P as Process<'_>>::Item: Iterator { + | ++++++++++++++++++++++++++++++++++++ + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0277`. |