https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109337
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |NEW
Resolution|INVALID |---
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Christopher Di Bella from comment #3)
> This is apparently a Clang bug: the RHS of `R42c` isn't evaluated because of
> short-circuiting. Apologies for the noise and thanks for helping me work
> through it.
No, clang and GCC disagree even on:
```
template <class Ub> concept A42b = true;
template <class Tc> concept R42c = A42b<Tc&>;
static_assert (R42c<void>);
```
There is no short-circuting here.
