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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Oh I think MSVC is the only one which rejects this for the correct reason.

And I think libc++'s concept define is incorrect too:
take:
```
#include <concepts>

struct S{
  static constexpr auto t = std::copy_constructible<S>;
};
constexpr auto t1 = std::copy_constructible<S>;
static_assert(S::t == t1);
int main(){}
```

Only libc++ rejects this. MSVC/EDG/GCC all accepts this as valid.

Reply via email to