Почему Boost.Range is_sorted не требует прямых итераторов?

Алгоритмы C ++ 11 std::is_sorted а также std::is_sorted_until оба требуют ForwardIterators. Тем не менее, версия Boost.Range boost::is_sorted требуется только SinglePassRangeс, что соответствует InputIterators. В частности, он делегирует реализацию на основе итератора, например:

template<class Iterator, class Comp>
inline Iterator is_sorted_until (Iterator first, Iterator last, Comp c) {
if (first == last)
return last;

Iterator it = first; ++it;

for (; it != last; first = it, ++it)
if (c(*it, *first))
return it;

return it;
}

Здесь мы видим *first разыменование итератора, которое происходит после ++it приращение итератора. Это означает, что Iterator должен иметь ForwardIterator как его обязательная категория. Зачем? Потому что стандарт так говорит в

24.2.3. Итераторы ввода [input.iterators] / p2 (см. таблицу 107 со строкой о ++r)

сообщение: любые копии предыдущего значения r больше не требуются
или быть разыменованным или находиться в области ==,

Заметкаэто не является «доказательством на одном примере», но кажется, что любой алгоритм основан на сравнении (например, adjacent_find) обязательно потребуются прямые итераторы, чтобы можно было сравнить два итератора.

Вопрос: почему не версия Boost.Range is_sorted требуют более сильной концепции ForwardRange (а также ForwardIterator для его низкоуровневых процедур), что требуется std::is_sorted? Это ошибка в Boost.Range?