rql #80799 Wrong type analysis with NOT X identity Y [validation pending]
Considering the following possible relations:
Person located_in City Company located_in City
and the following rql query Any X WHERE X located_in C, P is Person, NOT X identity P, the analyzer will see that P is a Person and because of the special nature of the identity relation, it will assume that X is also a Person and won't consider the X is Company case.
|appeared in||<not specified>|
|closed by||#8c2612f53bf6 fix wrong type analysis with 'NOT identity' (closes #80799)|