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

[hewillk at gmail dot com via Gcc-bugs]

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

            Bug ID: 102012
           Summary: GCC accepts any non-bool atomic constraint type
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

struct S { };

template<class T>
concept C = T(true);

decltype(C<int>) x = 0;
decltype(C<double>) y = 0;
decltype(C<const char*>) z = 0;
decltype(C<S>) w = 0;

https://godbolt.org/z/vEEPboYcq