For loop fix

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -1494,6 +1494,25 @@ private function processStmtNode(
 				$bodyScope = $condResult->getTruthyScope();
 			}
 
+			if (!$context->isTopLevel() && $isIterableAtLeastOnce->no()) {
+				if (!isset($condResult)) {
+					throw new ShouldNotHappenException();
+				}
+				if ($this->polluteScopeWithLoopInitialAssignments) {
+					$finalScope = $condResult->getFalseyScope()->mergeWith($initScope);
+				} else {
+					$finalScope = $condResult->getFalseyScope()->mergeWith($scope);
+				}
+				return new StatementResult(
+					$finalScope,
+					$hasYield,
+					false,
+					[],
+					$throwPoints,
+					$impurePoints,
+				);
+			}
+
 			if ($context->isTopLevel()) {
 				$count = 0;
 				do {