Why is exposition-only concept "cpp17-input-iterator" specified in terms of common_reference_t?
ericniebler opened this issue · 0 comments
ericniebler commented
The old C++17 iterator requirements didn't permit proxy references, and so probably we don't need to drag in the common_reference machinery here. I think it would be sufficient to test that const readable_traits<I>::value_type & is constructible from iter_reference_t<I>iter_reference_t<I> is convertible to const readable_traits<I>::value_type &.