-
Bug
-
Resolution: Done
-
Critical
-
5.2.0.M1
-
None
class Assignment
{ Class source, target; }The following rule fails to match when target == java.lang.Object.class
rule ObjectIsAssignable
when
Assignment( $t: target == (java.lang.Object.class) || target == source )
then
end
The following rule fails to match when target == source
rule ObjectIsAssignable
when
Assignment( $t: target == source || target == (java.lang.Object.class) )
then
end
The error does not occur if the binding ($t) is omitted.
See Workaround.