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.
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.