rql #80799 Wrong type analysis with NOT X identity Y [resolved]
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. | |
priority | normal |
---|---|
type | bug |
done in | 0.31.0 |
load | 0.100 |
load left | 0.000 |
closed by | #8c2612f53bf6 fix wrong type analysis with 'NOT identity' (closes #80799) |