Skip keys absent from the other array instead of falling back to getIterableValueType()

When intersecting two ConstantArrayTypes and hasOffsetValueType() returns
no for a key, that key cannot exist in the intersection. Previously it
fell back to getIterableValueType() which could leak unrelated value types.
Now those keys are simply skipped via continue.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

src/Type/TypeCombinator.php

@@ -1516,12 +1516,12 @@ public static function intersect(Type ...$types): Type
 						$valueTypes = $types[$i]->getValueTypes();
 						foreach ($types[$i]->getKeyTypes() as $k => $keyType) {
 							$hasOffset = $types[$j]->hasOffsetValueType($keyType);
-							$otherValueType = !$hasOffset->no()
-								? $types[$j]->getOffsetValueType($keyType)
-								: $types[$j]->getIterableValueType();
+							if ($hasOffset->no()) {
+								continue;
+							}
 							$newArray->setOffsetValueType(
 								self::intersect($keyType, $types[$j]->getIterableKeyType()),
-								self::intersect($valueTypes[$k], $otherValueType),
+								self::intersect($valueTypes[$k], $types[$j]->getOffsetValueType($keyType)),
 								$types[$i]->isOptionalKey($k) && !$hasOffset->yes(),
 							);
 						}
@@ -1536,12 +1536,12 @@ public static function intersect(Type ...$types): Type
 						$valueTypes = $types[$j]->getValueTypes();
 						foreach ($types[$j]->getKeyTypes() as $k => $keyType) {
 							$hasOffset = $types[$i]->hasOffsetValueType($keyType);
-							$otherValueType = !$hasOffset->no()
-								? $types[$i]->getOffsetValueType($keyType)
-								: $types[$i]->getIterableValueType();
+							if ($hasOffset->no()) {
+								continue;
+							}
 							$newArray->setOffsetValueType(
 								self::intersect($keyType, $types[$i]->getIterableKeyType()),
-								self::intersect($valueTypes[$k], $otherValueType),
+								self::intersect($valueTypes[$k], $types[$i]->getOffsetValueType($keyType)),
 								$types[$j]->isOptionalKey($k) && !$hasOffset->yes(),
 							);
 						}