equal
deleted
inserted
replaced
364 otheretypes = self.varsols[deambiguifier] |
364 otheretypes = self.varsols[deambiguifier] |
365 elif deambiguifier in self.not_invariants: |
365 elif deambiguifier in self.not_invariants: |
366 # we know variable won't be invariant, try to use |
366 # we know variable won't be invariant, try to use |
367 # it to deambguify the current variable |
367 # it to deambguify the current variable |
368 otheretypes = self.varsols[deambiguifier] |
368 otheretypes = self.varsols[deambiguifier] |
|
369 if not deambiguifier.stinfo['typerels']: |
|
370 # if deambiguifier has no type restriction using 'is', |
|
371 # don't record it |
|
372 deambiguifier = None |
369 elif isinstance(other, Constant) and other.uidtype: |
373 elif isinstance(other, Constant) and other.uidtype: |
370 otheretypes = (other.uidtype,) |
374 otheretypes = (other.uidtype,) |
371 deambiguifier = None |
375 deambiguifier = None |
372 if otheretypes is not None: |
376 if otheretypes is not None: |
373 # to restrict, we must check that for all type in othertypes, |
377 # to restrict, we must check that for all type in othertypes, |