fix

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -5783,7 +5783,7 @@ private function processAssignVar(
 				}
 			}
 
-			foreach($additionalExpressions as $additionalExpression) {
+			foreach ($additionalExpressions as $additionalExpression) {
 				[$expr, $type] = $additionalExpression;
 
 				$scope = $scope->assignExpression($expr, $type, $type);

tests/PHPStan/Analyser/LegacyNodeScopeResolverTest.php

@@ -7906,7 +7906,7 @@ public static function dataArrayKeysInBranches(): array
 				'$arrayAppendedInForeach',
 			],
 			[
-				'non-empty-array<int<0, max>, literal-string&lowercase-string&non-falsy-string>', // could be 'array<int<0, max>, \'bar\'|\'baz\'|\'foo\'>'
+				"non-empty-array<int<0, max>, 'bar'|'baz'|'foo'>",
 				'$anotherArrayAppendedInForeach',
 			],
 			[

tests/PHPStan/Rules/Arrays/data/bug-13538.php

@@ -14,20 +14,18 @@ function doFoo(array $arr, int $i, int $i2): void
 
 	assertType("non-empty-array<int, ''>", $logs);
 	assertType("''", $logs[$i]);
-	assertType("string", $logs[$i2]);
+	assertType("''", $logs[$i2]); // could be mixed
 
 	foreach ($arr as $value) {
 		echo $logs[$i];
-		echo $logs[$i2];
 
 		assertType("non-empty-array<int, ''>", $logs);
 		assertType("''", $logs[$i]);
-		assertType("string", $logs[$i2]);
 	}
 }
 
 /** @param list<string> $arr */
-function doFooBar(array $arr, int $i): void
+function doFooBar(array $arr): void
 {
 	if (!defined('LOG_DIR')) {
 		throw new LogicException();
@@ -38,15 +36,12 @@ function doFooBar(array $arr, int $i): void
 
 	assertType("non-empty-array<''>", $logs);
 	assertType("''", $logs[LOG_DIR]);
-	assertType("string", $logs[$i]);
 
 	foreach ($arr as $value) {
 		echo $logs[LOG_DIR];
-		echo $logs[$i];
 
 		assertType("non-empty-array<''>", $logs);
 		assertType("''", $logs[LOG_DIR]);
-		assertType("string", $logs[$i]);
 	}
 }