Fix array_key_exists narrows $key too much

Author: staabm

src/Type/Php/ArrayKeyExistsFunctionTypeSpecifyingExtension.php

@@ -58,7 +58,7 @@ public function specifyTypes(
 		}
 		$key = $node->getArgs()[0]->value;
 		$array = $node->getArgs()[1]->value;
-		$keyType = $scope->getType($key);
+		$keyType = $scope->getType($key)->toArrayKey();
 		$arrayType = $scope->getType($array);
 
 		if (

tests/PHPStan/Analyser/nsrt/bug-11724.php

@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug11724;
+
+use function PHPStan\Testing\assertType;
+
+function doFoo() {
+	$f = 5.0;
+	$a = [5 => 'hello'];
+	assertType('true', array_key_exists($f, $a));
+	if (array_key_exists($f, $a)) {
+		assertType('5.0', $f);
+		assertType("array{5: 'hello'}", $a);
+	}
+}