still check callables parameter/return type, even if we skip the array

Author: staabm

src/Rules/MissingTypehintCheck.php

@@ -73,8 +73,22 @@ public function getIterableTypesWithMissingValueTypehint(Type $type): array
 			if ($type instanceof AccessoryType) {
 				return $type;
 			}
-			if ($type->isCallable()->yes() && $type->isArray()->yes()) {
-				return $type;
+			if (
+				$type instanceof IntersectionType
+				&& $type->isCallable()->yes()
+				&& $type->isArray()->yes()
+			) {
+				$nonArrayInner = [];
+				foreach ($type->getTypes() as $innerType) {
+					if ($innerType->isArray()->yes()) {
+						continue;
+					}
+					$nonArrayInner[] = $innerType;
+				}
+				if (count($nonArrayInner) === 1) {
+					return $traverse($nonArrayInner[0]);
+				}
+				return $traverse(new IntersectionType($nonArrayInner));
 			}
 			if ($type instanceof ConditionalType || $type instanceof ConditionalTypeForParameter) {
 				$iterablesWithMissingValueTypehint = array_merge(

tests/PHPStan/Rules/Methods/MissingMethodParameterTypehintRuleTest.php

@@ -155,6 +155,16 @@ public function testBug14549(): void
 				'Method Bug14549\Foo::doFoo() has parameter $task with no signature specified for callable.',
 				12,
 			],
+			[
+				'Method Bug14549\Foo::doIntersection() has parameter $array with no value type specified in iterable type array.',
+				46,
+				MissingTypehintCheck::MISSING_ITERABLE_VALUE_TYPE_TIP,
+			],
+			[
+				'Method Bug14549\Foo::doIntersection() has parameter $array with no value type specified in iterable type array.',
+				46,
+				MissingTypehintCheck::MISSING_ITERABLE_VALUE_TYPE_TIP,
+			],
 		]);
 	}
 

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

@@ -39,6 +39,14 @@ public function doBar(array $list): void
 			}
 		}
 	}
+
+	/**
+	 * @param (array&callable(array): array) $array
+	 */
+	public function doIntersection($array): void
+	{
+	}
+
 }