Feedback Thread: DIP 1037--Add Unary Operator ...--Community Review Round 1

[Q. Schroll]

On Tuesday, 27 October 2020 at 18:33:33 UTC, Andrei Alexandrescu 
wrote:
> * "A second form shall exist which may implement a static 
> reduce operation with the syntax expr [BinOp] ..." What happens 
> if the tuple is empty? C++17 allows ... only in between 
> operators, e.g.:
>
> return false || ... || args == value;

This is plain false information. See 
https://en.cppreference.com/w/cpp/language/fold
"Unary folds" are allowed for certain operators: Logical And and 
Or as well as Comma.