Narrow array&callable intersection to list{class-string|object, string}

phpstan-baseline.neon

@@ -1692,19 +1692,19 @@ parameters:
 		-
 			rawMessage: 'Doing instanceof PHPStan\Type\ArrayType is error-prone and deprecated. Use Type::isArray() or Type::getArrays() instead.'
 			identifier: phpstanApi.instanceofType
-			count: 5
+			count: 7
 			path: src/Type/TypeCombinator.php
 
 		-
 			rawMessage: 'Doing instanceof PHPStan\Type\CallableType is error-prone and deprecated. Use Type::isCallable() and Type::getCallableParametersAcceptors() instead.'
 			identifier: phpstanApi.instanceofType
-			count: 1
+			count: 5
 			path: src/Type/TypeCombinator.php
 
 		-
 			rawMessage: 'Doing instanceof PHPStan\Type\Constant\ConstantArrayType is error-prone and deprecated. Use Type::getConstantArrays() instead.'
 			identifier: phpstanApi.instanceofType
-			count: 19
+			count: 21
 			path: src/Type/TypeCombinator.php
 
 		-

src/PhpDoc/TypeNodeResolver.php

@@ -429,7 +429,7 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco
 				return new IntersectionType([new ObjectWithoutClassType(), new CallableType()]);
 
 			case 'callable-array':
-				return new IntersectionType([new ArrayType(new MixedType(), new MixedType()), new CallableType()]);
+				return TypeCombinator::intersect(new ArrayType(new MixedType(), new MixedType()), new CallableType());
 
 			case 'never':
 			case 'noreturn':

src/Type/IntersectionType.php

@@ -945,14 +945,6 @@ public function hasOffsetValueType(Type $offsetType): TrinaryLogic
 
 		$result = $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasOffsetValueType($offsetType));
 
-		if (!$result->yes() && $this->isCallable()->yes() && $this->isArray()->yes()) {
-			$arrayKeyOffsetType = $offsetType->toArrayKey();
-			$callableArrayOffsetType = new UnionType([new ConstantIntegerType(0), new ConstantIntegerType(1)]);
-			if ($callableArrayOffsetType->isSuperTypeOf($arrayKeyOffsetType)->yes()) {
-				return TrinaryLogic::createYes();
-			}
-		}
-
 		return $result;
 	}
 
@@ -963,21 +955,6 @@ public function getOffsetValueType(Type $offsetType): Type
 			return TypeUtils::toBenevolentUnion($result);
 		}
 
-		if ($this->isCallable()->yes() && $this->isArray()->yes()) {
-			$arrayKeyOffsetType = $offsetType->toArrayKey();
-			$callableArrayOffsetType = new UnionType([new ConstantIntegerType(0), new ConstantIntegerType(1)]);
-			if ($callableArrayOffsetType->isSuperTypeOf($arrayKeyOffsetType)->yes()) {
-				if ((new ConstantIntegerType(0))->isSuperTypeOf($arrayKeyOffsetType)->yes()) {
-					$narrowedType = new UnionType([new ClassStringType(), new ObjectWithoutClassType()]);
-				} elseif ((new ConstantIntegerType(1))->isSuperTypeOf($arrayKeyOffsetType)->yes()) {
-					$narrowedType = new StringType();
-				} else {
-					$narrowedType = new UnionType([new StringType(), new ObjectWithoutClassType()]);
-				}
-				$result = TypeCombinator::intersect($result, $narrowedType);
-			}
-		}
-
 		return $result;
 	}
 

src/Type/TypeCombinator.php

@@ -1683,6 +1683,68 @@ public static function intersect(Type ...$types): Type
 						continue;
 					}
 
+					if (
+						$types[$i] instanceof ArrayType
+						&& get_class($types[$i]) === ArrayType::class
+						&& $types[$j] instanceof CallableType
+					) {
+						$existingValueType = $types[$i]->getItemType();
+						$offset0ValueType = self::intersect($existingValueType, new UnionType([new ClassStringType(), new ObjectWithoutClassType()]));
+						$offset1ValueType = self::intersect($existingValueType, new StringType());
+						if ($offset0ValueType instanceof NeverType || $offset1ValueType instanceof NeverType) {
+							return new NeverType();
+						}
+						$types[$i] = new ConstantArrayType(
+							[new ConstantIntegerType(0), new ConstantIntegerType(1)],
+							[$offset0ValueType, $offset1ValueType],
+							[2],
+							isList: TrinaryLogic::createYes(),
+						);
+						continue;
+					}
+
+					if (
+						$types[$j] instanceof ArrayType
+						&& get_class($types[$j]) === ArrayType::class
+						&& $types[$i] instanceof CallableType
+					) {
+						$existingValueType = $types[$j]->getItemType();
+						$offset0ValueType = self::intersect($existingValueType, new UnionType([new ClassStringType(), new ObjectWithoutClassType()]));
+						$offset1ValueType = self::intersect($existingValueType, new StringType());
+						if ($offset0ValueType instanceof NeverType || $offset1ValueType instanceof NeverType) {
+							return new NeverType();
+						}
+						$types[$j] = new ConstantArrayType(
+							[new ConstantIntegerType(0), new ConstantIntegerType(1)],
+							[$offset0ValueType, $offset1ValueType],
+							[2],
+							isList: TrinaryLogic::createYes(),
+						);
+						continue;
+					}
+
+					if (
+						$types[$i] instanceof ConstantArrayType
+						&& $types[$j] instanceof CallableType
+					) {
+						$types[$i] = self::narrowConstantArrayWithCallable($types[$i]);
+						if ($types[$i] instanceof NeverType) {
+							return new NeverType();
+						}
+						continue;
+					}
+
+					if (
+						$types[$j] instanceof ConstantArrayType
+						&& $types[$i] instanceof CallableType
+					) {
+						$types[$j] = self::narrowConstantArrayWithCallable($types[$j]);
+						if ($types[$j] instanceof NeverType) {
+							return new NeverType();
+						}
+						continue;
+					}
+
 					continue;
 				}
 
@@ -1779,4 +1841,33 @@ public static function removeTruthy(Type $type): Type
 		return self::remove($type, StaticTypeFactory::truthy());
 	}
 
+	private static function narrowConstantArrayWithCallable(ConstantArrayType $constantArray): Type
+	{
+		$keyTypes = $constantArray->getKeyTypes();
+		$valueTypes = $constantArray->getValueTypes();
+		$newValueTypes = $valueTypes;
+
+		foreach ($keyTypes as $k => $keyType) {
+			if ((new ConstantIntegerType(0))->isSuperTypeOf($keyType)->yes()) {
+				$newValueTypes[$k] = self::intersect($valueTypes[$k], new UnionType([new ClassStringType(), new ObjectWithoutClassType()]));
+				if ($newValueTypes[$k] instanceof NeverType) {
+					return new NeverType();
+				}
+			} elseif ((new ConstantIntegerType(1))->isSuperTypeOf($keyType)->yes()) {
+				$newValueTypes[$k] = self::intersect($valueTypes[$k], new StringType());
+				if ($newValueTypes[$k] instanceof NeverType) {
+					return new NeverType();
+				}
+			}
+		}
+
+		return new ConstantArrayType(
+			$keyTypes,
+			$newValueTypes,
+			$constantArray->getNextAutoIndexes(),
+			$constantArray->getOptionalKeys(),
+			$constantArray->isList(),
+		);
+	}
+
 }

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

@@ -160,7 +160,7 @@ class CallableArray {
 
 	public function doFoo(callable $foo): void {
 		$this->foo = $foo;
-		assertType('array', $this->foo); // could be non-empty-array
+		assertType('array<mixed>', $this->foo); // could be non-empty-array
 	}
 }
 

tests/PHPStan/Analyser/nsrt/bug-12393b.php

@@ -669,7 +669,7 @@ class CallableArray {
 
     public function doFoo(callable $foo): void {
         $this->foo = $foo;
-        assertType('array', $this->foo); // could be non-empty-array
+        assertType('array<mixed>', $this->foo); // could be non-empty-array
     }
 }
 

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

@@ -0,0 +1,62 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14549;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+	public function foo(array $task): void
+	{
+		if (\is_callable($task)) {
+			assertType('list{class-string|object, string}&callable(): mixed', $task);
+			assertType('class-string|object', $task[0]);
+			assertType('string', $task[1]);
+
+			foreach ($task as $key => $value) {
+				assertType('object|string', $value);
+				assertType('0|1', $key);
+			}
+		}
+	}
+
+	public function testCallableArrayIterableTypes(callable $value): void
+	{
+		if (is_array($value)) {
+			assertType('list{class-string|object, string}&callable(): mixed', $value);
+
+			foreach ($value as $key => $val) {
+				assertType('0|1', $key);
+				assertType('object|string', $val);
+			}
+		}
+	}
+
+	/** @param array{string, string} $task */
+	public function testConstantArrayNarrowing(array $task): void
+	{
+		if (\is_callable($task)) {
+			assertType('list{class-string, string}&callable(): mixed', $task);
+			assertType('class-string', $task[0]);
+			assertType('string', $task[1]);
+		}
+	}
+
+	/** @param array<string> $task */
+	public function testTypedArrayNarrowing(array $task): void
+	{
+		if (\is_callable($task)) {
+			// When value type is string, intersect with class-string|object gives class-string
+			// and intersect with string gives string
+			assertType('list{class-string, string}&callable(): mixed', $task);
+		}
+	}
+
+	/** @param callable-array $value */
+	public function testCallableArrayPhpDoc(array $value): void
+	{
+		assertType('list{class-string|object, string}&callable(): mixed', $value);
+		assertType('class-string|object', $value[0]);
+		assertType('string', $value[1]);
+	}
+}

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

@@ -20,15 +20,15 @@ public function callback(): void
 
 function testIsArrayOnCallable(callable $value): void {
 	if (is_array($value)) {
-		assertType('array<mixed, mixed>&callable(): mixed', $value);
+		assertType('list{class-string|object, string}&callable(): mixed', $value);
 		assertType('class-string|object', $value[0]);
 		assertType('string', $value[1]);
 	}
 }
 
 /** @param callable-array $value */
 function testCallableArrayPhpDoc(array $value): void {
-	assertType('array&callable(): mixed', $value);
+	assertType('list{class-string|object, string}&callable(): mixed', $value);
 	assertType('class-string|object', $value[0]);
 	assertType('string', $value[1]);
 }

tests/PHPStan/Analyser/nsrt/more-types.php

@@ -39,7 +39,7 @@ public function doFoo(
 	): void
 	{
 		assertType('pure-callable(): mixed', $pureCallable);
-		assertType('array&callable(): mixed', $callableArray);
+		assertType('list{class-string|object, string}&callable(): mixed', $callableArray);
 		assertType('resource', $closedResource);
 		assertType('resource', $openResource);
 		assertType('class-string<UnitEnum>', $enumString);

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -4017,4 +4017,17 @@ public function testBug13272(): void
 		$this->analyse([__DIR__ . '/data/bug-13272.php'], []);
 	}
 
+	public function testBug14549(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-14549.php'], [
+			[
+				'Parameter #1 $task of method Bug14549Rule\Foo::call() expects array<int>, callable&list<object|string> given.',
+				10,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,20 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14549Rule;
+
+class Foo
+{
+	public function foo(array $task): void
+	{
+		if (\is_callable($task)) {
+			$this->call($task);
+		}
+	}
+
+	/**
+	 * @param array<int> $task
+	 */
+	public function call(array $task): void
+	{
+	}
+}