https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- The irreflexivity checks I originally asked for are done - do we want to keep this open for more extensive checks, or close as FIXED?
