# HG changeset patch
# User Sylvain Thénault <sylvain.thenault@logilab.fr>
# Date 1263983261 -3600
# Node ID ea590101691cd3e858854bd9701753e886d10a44
# Parent  15d541321a8cd39b77987752fc5a82cc47d7cce9
don't record deambiguifier when it has no type restriction using 'is', so we don't miss later some available constraints

diff -r 15d541321a8c -r ea590101691c server/rqlannotation.py
--- a/server/rqlannotation.py	Wed Jan 20 10:13:02 2010 +0100
+++ b/server/rqlannotation.py	Wed Jan 20 11:27:41 2010 +0100
@@ -366,6 +366,10 @@
                     # we know variable won't be invariant, try to use
                     # it to deambguify the current variable
                     otheretypes = self.varsols[deambiguifier]
+            if not deambiguifier.stinfo['typerels']:
+                # if deambiguifier has no type restriction using 'is',
+                # don't record it
+                deambiguifier = None
         elif isinstance(other, Constant) and other.uidtype:
             otheretypes = (other.uidtype,)
             deambiguifier = None