diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/generic-associated-types/bugs/issue-88382.stderr | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/bugs/issue-88382.stderr b/src/test/ui/generic-associated-types/bugs/issue-88382.stderr new file mode 100644 index 000000000..7210895b7 --- /dev/null +++ b/src/test/ui/generic-associated-types/bugs/issue-88382.stderr @@ -0,0 +1,22 @@ +error[E0631]: type mismatch in function arguments + --> $DIR/issue-88382.rs:28:40 + | +LL | do_something(SomeImplementation(), test); + | ------------ ^^^^ expected due to this + | | + | required by a bound introduced by this call +... +LL | fn test<'a, I: Iterable>(_: &mut I::Iterator<'a>) {} + | ------------------------------------------------- found signature defined here + | + = note: expected function signature `for<'r> fn(&'r mut std::iter::Empty<usize>) -> _` + found function signature `for<'a, 'r> fn(&'r mut <_ as Iterable>::Iterator<'a>) -> _` +note: required by a bound in `do_something` + --> $DIR/issue-88382.rs:22:48 + | +LL | fn do_something<I: Iterable>(i: I, mut f: impl for<'a> Fn(&mut I::Iterator<'a>)) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `do_something` + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0631`. |