https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69287
TC <rs2740 at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rs2740 at gmail dot com --- Comment #1 from TC <rs2740 at gmail dot com> --- This code is correct as written, as explained by the comment right above: // Verify that the < operator for elements in the sequence is a // StrictWeakOrdering by checking that it is irreflexive.