Type inference comments, enable test.

diff --git a/Cython/Compiler/ExprNodes.py b/Cython/Compiler/ExprNodes.py
index 5b5a289..1f46a59 100644 (file)
--- a/Cython/Compiler/ExprNodes.py
+++ b/Cython/Compiler/ExprNodes.py
@@ -1759,6 +1759,8 @@ class NameNode(AtomicExprNode):
                 self.inferred_type.is_builtin_type):
             # assume that type inference is smarter than the static entry
             type = self.inferred_type
+            if entry.type != self.inferred_type:
+                print self.pos, entry.type, self.inferred_type
         self.type = type
 
     def check_identifier_kind(self):

diff --git a/tests/run/py_ucs4_type.pyx b/tests/run/py_ucs4_type.pyx
index 1509877..ce495f4 100644 (file)
--- a/tests/run/py_ucs4_type.pyx
+++ b/tests/run/py_ucs4_type.pyx
@@ -253,7 +253,7 @@ def iter_and_in():
             print c
 
 
-#@cython.test_fail_if_path_exists('//ForInStatNode')
+@cython.test_fail_if_path_exists('//ForInStatNode')
 def iter_inferred():
     """
     >>> iter_inferred()