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

[Gabriel Dos Reis]

Paolo Carlini <pcarlini@suse.de> writes:

| 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??

I think that is streching wording and the implementation too far.
Let's keep simple things, simple.

-- Gaby