The ComparisonFilter over every value of one comparable kind, or
never when V declares none of that kind.
The test is wrapped in a tuple so it does not distribute: the operands are
the kind's whole union, which is what lets composed comparisons name two
different members of an enum.
The ComparisonFilter over every value of one comparable kind, or
neverwhenVdeclares none of that kind.The test is wrapped in a tuple so it does not distribute: the operands are the kind's whole union, which is what lets composed comparisons name two different members of an enum.