https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94354
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2020-03-27 Ever confirmed|0 |1 Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org Status|UNCONFIRMED |ASSIGNED --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- We also retain the pre-LWG280 homogeneous overloads: template<typename _Iterator> inline _GLIBCXX17_CONSTEXPR bool operator==(const reverse_iterator<_Iterator>& __x, const reverse_iterator<_Iterator>& __y) { return __x.base() == __y.base(); } I don't have a demo, but this might be non-conforming for cases where we compare reverse_iterator<T> and something convertible to that type.