error(domain_error(operator_priority), 1.2)