Extending the usability of function_input_iterator after the changes addressing #5825: a dereference before each increment is no longer required.