https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110256
Patrick Palka changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110256
--- Comment #2 from Andrew Pinski ---
MSVC also accepts this code ...
It might be the case that clang is incorrectly rejecting it.
Basically the way I understand is that b will always be false due to incorrect
usage of std::integral/c here. temp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110256
--- Comment #1 from Andrew Pinski ---
Reduced to:
```
template
concept c = true;
template
concept d = false;
template
concept b = requires (T t ) {
{ t } -> d;
};
static_assert(!b);
```
