# HG changeset patch
# User Sylvain <syt@logilab.fr>
# Date 1211439744 -7200
#      Thu May 22 09:02:24 2008 +0200
# Node ID 68e24fceb3ffe1ba25e57beceb8a20c4a0d8f84f
# Parent  6ee7069ca42c6866c90a888b622d96f3e7226248
solutions may have not yet been computed in annotation

diff --git a/stcheck.py b/stcheck.py
--- a/stcheck.py
+++ b/stcheck.py
@@ -367,9 +367,10 @@
                             continue
             # shared references
             newvar.stinfo['constnode'] = var.stinfo['constnode']
-            newvar.stinfo['possibletypes'] = var.stinfo['possibletypes']
-            for sol in newvar.stmt.solutions:
-                sol[newvar.name] = sol[var.name]
+            if newvar.stmt.solutions: # solutions already computed
+                newvar.stinfo['possibletypes'] = var.stinfo['possibletypes']
+                for sol in newvar.stmt.solutions:
+                    sol[newvar.name] = sol[var.name]
             rel = exists.add_relation(var, 'identity', newvar)
             # we have to force visit of the introduced relation
             self.visit_relation(rel, exists)