[Bug c++/102012] GCC accepts any non-bool atomic constraint type

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Hmm, I think this might actually be well-formed according to [temp.names]/9.  I
don't see why we'd need to check satisfaction of a concept-id inside decltype
if its type is already prescribed to be bool.