Update NodeScopeResolver.php

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -6142,7 +6142,7 @@ private function isImplicitArrayCreation(array $dimFetchStack, Scope $scope): Tr
 	/**
 	 * @param list<ArrayDimFetch> $dimFetchStack
 	 * @param list<Type|null> $offsetTypes
-	 * @param-out list<array{Expr, Type}> $additionalExpressions
+	 * @param list<array{Expr, Type}> $additionalExpressions
 	 */
 	private function produceArrayDimFetchAssignValueToWrite(array $dimFetchStack, array $offsetTypes, Type $offsetValueType, Type $valueToWrite, Scope $scope, array &$additionalExpressions = []): Type
 	{
@@ -6234,16 +6234,23 @@ private function produceArrayDimFetchAssignValueToWrite(array $dimFetchStack, ar
 			}
 		}
 
-		$iterableValueType = $valueToWrite->getIterableValueType();
-		foreach($dimFetchStack as $dimFetch) {
-			if ($dimFetch->dim === null || $dimFetch->dim instanceof Node\Scalar) {
-				$additionalExpressions = [];
-				break;
-			}
+		if (count($dimFetchStack) > 1) {
+			$offsetValueType = $valueToWrite;
+			foreach ($dimFetchStack as $dimFetch) {
+				if ($dimFetch->dim === null) {
+					$additionalExpressions = [];
+					break;
+				}
 
-			$additionalExpressions[] = [$dimFetch, $iterableValueType];
+				$offsetType = $scope->getType($dimFetch->dim);
+				if (!$offsetValueType->hasOffsetValueType($offsetType)->yes()) {
+					$additionalExpressions = [];
+					break;
+				}
 
-			$iterableValueType = $iterableValueType->getIterableValueType();
+				$offsetValueType = $offsetValueType->getOffsetValueType($offsetType);
+				$additionalExpressions[] = [$dimFetch, $offsetValueType];
+			}
 		}
 
 		return $valueToWrite;