[Bug libstdc++/125981] std::find_if/std::mismatch dereference the past-the-end iterator when the predicate result type has an ADL-reachable operator&&

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125981

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
and also https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1964r2.html
which is summarized as:

> a lot of words to specify what is basically “don’t be dumb”