error[E0631]: type mismatch in function arguments
  --> $DIR/issue-88382.rs:26: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<'a> fn(&'a mut std::iter::Empty<usize>) -> _`
              found function signature `for<'a, 'b> fn(&'b mut <_ as Iterable>::Iterator<'a>) -> _`
note: required by a bound in `do_something`
  --> $DIR/issue-88382.rs:20: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`.