I guess a more accurate description would be

> disallow negation of the left operand of an `in` expression