improve IntersectionType->getIterableKey/ValueType

Author: staabm

src/Type/IntersectionType.php

@@ -774,6 +774,9 @@ public function getArraySize(): Type
 
 	public function getIterableKeyType(): Type
 	{
+		if ($this->isCallable()->yes() && $this->isArray()->yes()) {
+			return new UnionType([new ConstantIntegerType(0), new ConstantIntegerType(1)]);
+		}
 		return $this->intersectTypes(static fn (Type $type): Type => $type->getIterableKeyType());
 	}
 
@@ -789,6 +792,9 @@ public function getLastIterableKeyType(): Type
 
 	public function getIterableValueType(): Type
 	{
+		if ($this->isCallable()->yes() && $this->isArray()->yes()) {
+			return new UnionType([new ObjectWithoutClassType(), new StringType()]);
+		}
 		return $this->intersectTypes(static fn (Type $type): Type => $type->getIterableValueType());
 	}
 

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -174,6 +174,7 @@ private static function findTestFiles(): iterable
 		yield __DIR__ . '/../Rules/Variables/data/bug-7417.php';
 		yield __DIR__ . '/../Rules/Arrays/data/bug-7469.php';
 		yield __DIR__ . '/../Rules/Variables/data/bug-3391.php';
+		yield __DIR__ . '/../Rules/Methods/data/bug-14549.php';
 
 		yield __DIR__ . '/../Rules/Functions/data/bug-anonymous-function-method-constant.php';
 

tests/PHPStan/Rules/Methods/data/bug-14549.php

@@ -2,13 +2,21 @@
 
 namespace Bug14549;
 
+use function PHPStan\Testing\assertType;
+
 class MondayMorning
 {
 	/**
 	 * @param callable-array $task
 	 */
 	public function call(array $task): void
 	{
+		foreach($task as $k => $v) {
+			assertType('0|1', $k);
+			assertType('object|string', $v);
+		}
+		assertType('class-string|object', $task[0]);
+		assertType('string', $task[1]);
 	}
 }