simplify

Author: staabm

src/Type/ArrayType.php

@@ -362,12 +362,6 @@ public function setOffsetValueType(?Type $offsetType, Type $valueType, bool $uni
 	public function setExistingOffsetValueType(Type $offsetType, Type $valueType): Type
 	{
 		if ($offsetType instanceof ConstantStringType || $offsetType instanceof ConstantIntegerType) {
-			if ($offsetType->isSuperTypeOf($this->keyType)->yes()) {
-				$builder = ConstantArrayTypeBuilder::createEmpty();
-				$builder->setOffsetValueType($offsetType, $valueType);
-				return $builder->getArray();
-			}
-
 			return TypeCombinator::intersect(
 				new self(
 					TypeCombinator::union($this->keyType, $offsetType),

src/Type/Constant/ConstantArrayType.php

@@ -693,21 +693,8 @@ public function setOffsetValueType(?Type $offsetType, Type $valueType, bool $uni
 
 	public function setExistingOffsetValueType(Type $offsetType, Type $valueType): Type
 	{
-		$offsetType = $offsetType->toArrayKey();
 		$builder = ConstantArrayTypeBuilder::createFromConstantArray($this);
-		$unionValues = $offsetType instanceof UnionType && count($offsetType->getTypes()) > 1;
-		foreach ($this->keyTypes as $keyType) {
-			if ($offsetType->isSuperTypeOf($keyType)->no()) {
-				continue;
-			}
-
-			if ($unionValues) {
-				$builder->setOffsetValueType($keyType, TypeCombinator::union($this->getOffsetValueType($keyType), $valueType));
-				continue;
-			}
-
-			$builder->setOffsetValueType($keyType, $valueType);
-		}
+		$builder->setOffsetValueType($offsetType, $valueType);
 
 		return $builder->getArray();
 	}