Refined error message for wrong operator in constraint-constructor.