diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
index f4f60df2ae..5831cdaaaf 100644
--- a/src/Analyser/NodeScopeResolver.php
+++ b/src/Analyser/NodeScopeResolver.php
@@ -5079,10 +5079,10 @@ private function processAssignVar(
 
 			$valueToWrite = $this->produceArrayDimFetchAssignValueToWrite($offsetTypes, $offsetValueType, $valueToWrite);
 
-			$nativeValueToWrite = $valueToWrite;
 			if (!$offsetValueType->equals($offsetNativeValueType) || !$valueToWrite->equals($nativeValueToWrite)) {
 				$nativeValueToWrite = $this->produceArrayDimFetchAssignValueToWrite($offsetNativeTypes, $offsetNativeValueType, $nativeValueToWrite);
 			} else {
+				$rewritten = false;
 				foreach ($offsetTypes as $i => $offsetType) {
 					$offsetNativeType = $offsetNativeTypes[$i];
 					if ($offsetType === null) {
@@ -5099,8 +5099,13 @@ private function processAssignVar(
 					}
 
 					$nativeValueToWrite = $this->produceArrayDimFetchAssignValueToWrite($offsetNativeTypes, $offsetNativeValueType, $nativeValueToWrite);
+					$rewritten = true;
 					break;
 				}
+
+				if (!$rewritten) {
+					$nativeValueToWrite = $valueToWrite;
+				}
 			}
 
 			if ($varType->isArray()->yes() || !(new ObjectType(ArrayAccess::class))->isSuperTypeOf($varType)->yes()) {