[RFC] libstdc++/14039 or std::find vs input_iterator requirements

[Paolo Carlini]

Hi everyone,

Jeremy point out that:

"The expression (*__first == __val) appears in the implementation
std::find. However, __first is only required to be an input iterator,
so *__first is required to be convertible to the value type
but not necessarily comparable with the value type."

However, 25.1.2, p2 explicitly talks about: "... *i == value,..."
and 244 (NAD) shows a typical implementation that exactly presents
the same "problem" of ours.

Indeed, I get Jeremy's fine technical point, but shall we actually
take action missing a clarification in the standard??

Thanks
Paolo.