Revert "Fix while loop inside another loop during scope stabilization phase"

This reverts commit 94b6012.

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -1282,22 +1282,6 @@ private function processStmtNode(
 		} elseif ($stmt instanceof While_) {
 			$condResult = $this->processExprNode($stmt, $stmt->cond, $scope, static function (): void {
 			}, ExpressionContext::createDeep(), $context);
-			$beforeCondBooleanType = ($this->treatPhpDocTypesAsCertain ? $scope->getType($stmt->cond) : $scope->getNativeType($stmt->cond))->toBoolean();
-			$condScope = $condResult->getFalseyScope();
-			if (!$context->isTopLevel() && $beforeCondBooleanType->isFalse()->yes()) {
-				if (!$this->polluteScopeWithLoopInitialAssignments) {
-					$scope = $condScope->mergeWith($scope);
-				}
-
-				return new StatementResult(
-					$scope,
-					$condResult->hasYield(),
-					false,
-					[],
-					$condResult->getThrowPoints(),
-					$condResult->getImpurePoints(),
-				);
-			}
 			$bodyScope = $condResult->getTruthyScope();
 
 			if ($context->isTopLevel()) {
@@ -1344,6 +1328,7 @@ private function processStmtNode(
 				$finalScope = $finalScope->mergeWith($breakExitPoint->getScope());
 			}
 
+			$beforeCondBooleanType = ($this->treatPhpDocTypesAsCertain ? $scope->getType($stmt->cond) : $scope->getNativeType($stmt->cond))->toBoolean();
 			$isIterableAtLeastOnce = $beforeCondBooleanType->isTrue()->yes();
 			$nodeCallback(new BreaklessWhileLoopNode($stmt, $finalScopeResult->getExitPoints()), $bodyScopeMaybeRan);
 
@@ -1354,7 +1339,7 @@ private function processStmtNode(
 			} else {
 				$isAlwaysTerminating = false;
 			}
-
+			$condScope = $condResult->getFalseyScope();
 			if (!$isIterableAtLeastOnce) {
 				if (!$this->polluteScopeWithLoopInitialAssignments) {
 					$condScope = $condScope->mergeWith($scope);