The evaluator recursion limitations are now reset in static analysis for each node, otherwise it's incredibly unprecise.

test/static_analysis/iterable.py

@@ -12,3 +12,7 @@ for x in dct:
 #! 4 type-error-not-iterable
 for x, y in dct:
     pass
+
+# Shouldn't cause issues, because if there are no types (or we don't know what
+# the types are, we should just ignore it.
+a, b = []