error(domain_error(operator_priority), 1201)