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.