[jboss-jira] [JBoss JIRA] Closed: (JBRULES-1647) Incorrect reporting by verifier of unmatchable pattern with connective OR

Incorrect reporting by verifier of unmatchable pattern with connective OR ------------------------------------------------------------------------- Key: JBRULES-1647 URL: http://jira.jboss.com/jira/browse/JBRULES-1647 Project: JBoss Drools Issue Type: Bug Security Level: Public(Everyone can see) Components: Verifier Affects Versions: 5.0.0.M1 Reporter: Michael Neale Assigned To: Toni Rikkola Fix For: 5.0.0.M1 rule "Gold Discount High Priority" dialect "mvel" when customer : Customer( status > "30" && < "50" ) order : OrderHeader( customer == customer , orderPriority == "3" || == "4" ) then order.setOrderDiscount( 6.0 ); end Generates this error: Restriction LiteralRestriction from rule [Gold Discount High Priority] value '== 4' and LiteralRestriction from rule [Gold Discount High Priority] value '== 3'are in conflict. Because of this, pattern that contains them can never be satisfied. when a connective (like || ==) is used, this should not be treated as a conjunction of extra literal restrictions.