fix

Author: staabm

src/Type/Php/ArrayKeyExistsFunctionTypeSpecifyingExtension.php

@@ -66,12 +66,16 @@ public function specifyTypes(
 			&& !$keyType instanceof ConstantStringType
 		) {
 			if ($context->true()) {
-				$specifiedTypes = $this->typeSpecifier->create(
-					$array,
-					new NonEmptyArrayType(),
-					$context,
-					$scope,
-				);
+				$specifiedTypes = new SpecifiedTypes();
+
+				if (count($keyType->getConstantScalarTypes()) <= 1) {
+					$specifiedTypes = $specifiedTypes->unionWith($this->typeSpecifier->create(
+						$array,
+						new NonEmptyArrayType(),
+						$context,
+						$scope,
+					));
+				}
 
 				if ($arrayType->isIterableAtLeastOnce()->no()) {
 					return $specifiedTypes;