--- 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