https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109751
--- Comment #17 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yep, [temp.constr.atomic] p3: "If, at different points in the program, the satisfaction result is different for identical atomic constraints and template arguments, the program is ill-formed, no diagnostic required."
