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.

prioritynormal
typebug
done in0.31.0
load0.100
load left0.000
closed by#8c2612f53bf6 fix wrong type analysis with 'NOT identity' (closes #80799)

Workflow history

from state (4)to statecommentdateUser
validation pendingresolved

mass operation on Oct 29 2019

2019/10/29 17:36 UTCadmin
donevalidation pending2011/11/09 17:57 UTCsthenault
in-progressdone2011/10/25 16:01 UTC 
openin-progress2011/10/20 12:37 UTC 

Ticket #80799 - latest update on 2019/10/29, created on 2011/10/20 by Adrien Di Mascio