You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I personally prefer !(X && ...) though since those are usually paired with another overload that's (Y &&...), and I find it easier to compare the two without De Morgan'ing the former. YMMV
which seems like a good argument to prefer the conjunctive form over the disjunctive.
I'm reasonably certain that LWG has forwarded papers for C++23 that use the syntax (for a type pack
class... Ts
):requires (!(meow && ... && Ts))
and other papers that use:
requires (!meow || ... || !Ts)
These forms are functionally equivalent. I think we should pick one syntax for such negated folds and use it consistently.
The text was updated successfully, but these errors were encountered: