make item types of tuple/array unpacking inferable and institutionalise the IndexNode creation for the inference

1 files changed, 3 insertions, 3 deletions

diff --git a/Cython/Compiler/FlowControl.py b/Cython/Compiler/FlowControl.py
index 03e2108be..7e1aa769b 100644
--- a/Cython/Compiler/FlowControl.py
+++ b/Cython/Compiler/FlowControl.py
@@ -776,9 +776,9 @@ class ControlFlowAnalysis(CythonTransform):
             if entry is None: # TODO: This shouldn't happen...
                 return
             self.flow.mark_assignment(lhs, rhs, entry)
-        elif isinstance(lhs, ExprNodes.SequenceNode):
-            for arg in lhs.args:
-                self.mark_assignment(arg)
+        elif lhs.is_sequence_constructor:
+            for i, arg in enumerate(lhs.args):
+                self.mark_assignment(arg, rhs.inferable_item_node(i) if rhs else None)
         else:
             self._visit(lhs)