Don't report "no value type specified in iterable type array&callable"

Author: staabm

src/Rules/MissingTypehintCheck.php

@@ -73,6 +73,9 @@ public function getIterableTypesWithMissingValueTypehint(Type $type): array
 			if ($type instanceof AccessoryType) {
 				return $type;
 			}
+			if ($type->isCallable()->yes() && $type->isArray()->yes()) {
+				return $type;
+			}
 			if ($type instanceof ConditionalType || $type instanceof ConditionalTypeForParameter) {
 				$iterablesWithMissingValueTypehint = array_merge(
 					$iterablesWithMissingValueTypehint,

tests/PHPStan/Rules/Methods/MissingMethodParameterTypehintRuleTest.php

@@ -148,4 +148,14 @@ public function testBug7662(): void
 		]);
 	}
 
+	public function testBug14549(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14549.php'], [
+			[
+				'Method Bug14549\MondayMorning::call() has parameter $task with no signature specified for callable.',
+				10
+			]
+		]);
+	}
+
 }

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

@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug14549;
+
+class MondayMorning
+{
+	/**
+	 * @param callable-array $task
+	 */
+	public function call(array $task): void
+	{
+	}
+}
+
+