Почему boost::function_output_iterator не является std::output_iterator?

Я ожидал, что boost::function_output_iterator является std::output_iterator, но на удивление это не так:

#include <boost/iterator/function_output_iterator.hpp>


template<std::output_iterator<int> IntOutIter>
void
f(IntOutIter outputIterator){}


int main(int argc, char const *argv[])
{
  f(boost::make_function_output_iterator([](int i){}));

  return 0;
}

(Обратите внимание, синтаксис template<std::output_iterator<int> IntOutIter> из Как объявить функцию шаблона, которая принимает выходной итератор T?)

clang++ -std=c++20 function-output-iterator.cpp ошибки с:

error: no matching function for call to 'f'
note: candidate template ignored: constraints not satisfied [with IntOutIter = function_output_iterator<(lambda at function-output-iterator.cpp:11:42)>]
note: because 'std::output_iterator<boost::iterators::function_output_iterator<(lambda at function-output-iterator.cpp:11:42)>, int>' evaluated to false
note: because 'boost::iterators::function_output_iterator<(lambda at function-output-iterator.cpp:11:42)>' does not satisfy 'input_or_output_iterator'
note: because 'boost::iterators::function_output_iterator<(lambda at function-output-iterator.cpp:11:42)>' does not satisfy 'weakly_incrementable'
note: because 'iter_difference_t<function_output_iterator<(lambda at function-output-iterator.cpp:11:42)>>' (aka 'void') does not satisfy '__is_signed_integer_like'
note: because 'void' does not satisfy 'signed_integral'
note: because 'void' does not satisfy 'integral'
note: because 'is_integral_v<void>' evaluated to false
note: and 'void' does not satisfy '__is_signed_int128'
note: because 'same_as<void, __int128>' evaluated to false
note: because '__detail::__same_as<void, __int128>' evaluated to false
note: because 'std::is_same_v<void, __int128>' evaluated to false
note: and 'same_as<void, __max_diff_type>' evaluated to false
note: because '__detail::__same_as<void, std::ranges::__detail::__max_diff_type>' evaluated to false
note: because 'std::is_same_v<void, std::ranges::__detail::__max_diff_type>' evaluated to false
1 error generated.

Предполагаемая причина

Подозреваю, что это потому, что boost::function_output_iteratorзаявляет

    typedef void                difference_type;

Но стандарт гласит, что это должно быть integral, а не void:

• Чтобы быть output_iterator, нужно быть weakly_incrementable (через input_or_output_iterator)
• это говорит std::iter_difference_t<T> = ...::difference_type (связывает iter_difference_t и difference_type в коде Boost)
• Этот комментарий указывает на то, что стандартrequires is-signed-integer-like<iter_difference_t<I>> для weakly_incrementable

Общие рекомендации — реализовать difference_type как ptrdiff_t, а не void:

• Почему разница_типа является частью концепции std::weakly_incrementable?
• Как обрабатывать итератор::difference_type, если у вас нет возможности измерить разницу?

Обходной путь и собственные претензии

Я знаю, что это компилируется:

-template<std::output_iterator<int> IntOutIter>
+template<IntOutIter>
 void
 f(IntOutIter outputIterator){}

Но это лишает C++ преимущества concepts: ограничение переменных универсального типа для улучшения сообщений об ошибках и указания, какие операции они должны поддерживать.

Итак, разве function_output_iterator не должно быть output_iterator?

Далее, boost docs утверждает:

function_output_iterator — это модель концепций Writable и Incrementable Iterator.`

Но инкрементируемый требует weakly_incrementable, образцом которого он явно не является!

Вопрос

Итак, что дает?

boost::function_output_iterator реализовано неправильно?

Или я не должен иметь возможность использовать его как output_iterator, а документы по повышению неверны?