Fix

Author: ondrejmirtes

Diff for: src/Analyser/NodeScopeResolver.php

@@ -3318,7 +3318,7 @@ private function processAssignVar(
 					new GetOffsetValueTypeExpr($assignedExpr, $dimExpr),
 					$nodeCallback,
 					$context,
-					$processExprCallback, // TODO
+					static fn (MutatingScope $scope): ExpressionResult => new ExpressionResult($scope, false, []),
 					$enterExpressionAssign,
 				);
 				$scope = $result->getScope();
@@ -3557,9 +3557,9 @@ private function enterForeach(MutatingScope $scope, Foreach_ $stmt): MutatingSco
 				$stmt->valueVar,
 				new GetIterableValueTypeExpr($stmt->expr),
 				static function (): void {
-				}, // todo
+				},
 				ExpressionContext::createDeep(),
-				static fn (MutatingScope $scope): ExpressionResult => new ExpressionResult($scope, false, []), // todo
+				static fn (MutatingScope $scope): ExpressionResult => new ExpressionResult($scope, false, []),
 				true,
 			)->getScope();
 			$vars = array_merge($vars, $this->getAssignedVariables($stmt->valueVar));

Diff for: tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -2293,4 +2293,17 @@ public function testBug6306(): void
 		$this->analyse([__DIR__ . '/data/bug-6306.php'], []);
 	}
 
+	public function testRectorDoWhileVarIssue(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/rector-do-while-var-issue.php'], [
+			[
+				'Parameter #1 $cls of method RectorDoWhileVarIssue\Foo::processCharacterClass() expects string, int|string given.',
+				24,
+			],
+		]);
+	}
+
 }

Diff for: tests/PHPStan/Rules/Methods/data/rector-do-while-var-issue.php

@@ -0,0 +1,39 @@
+<?php
+
+namespace RectorDoWhileVarIssue;
+
+class Foo
+{
+
+	public function doFoo(string $cls): void
+	{
+		do {
+			if (doBar()) {
+				/** @var string $cls */
+				[$cls] = $this->processCharacterClass($cls);
+			} else {
+				$cls = 'foo';
+			}
+		} while (doFoo());
+	}
+
+	public function doFoo2(string $cls): void
+	{
+		do {
+			if (doBar()) {
+				[$cls] = $this->processCharacterClass($cls);
+			} else {
+				$cls = 'foo';
+			}
+		} while (doFoo());
+	}
+
+	/**
+	 * @return int[]|string[]
+	 */
+	private function processCharacterClass(string $cls): array
+	{
+		return [];
+	}
+
+}