Move CallMethodsRule tests for array&callable to separate file and add constant array test cases

Test callable&array passed to methods expecting constant array types:
- array{string, string} => Error (object at index 0 is not string)
- array{object|string, string} => No error (matches callable-array shape)
- array{object|string, string, string} => Error (callable-array has 2 elements, not 3)

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -4030,14 +4030,30 @@ public function testBug14549(): void
 		$this->checkThisOnly = false;
 		$this->checkNullables = true;
 		$this->checkUnionTypes = true;
-		$this->analyse([__DIR__ . '/data/bug-14549.php'], [
+		$this->analyse([__DIR__ . '/data/bug-14549-bis.php'], [
 			[
-				'Parameter #1 $param of method Bug14549\Foo::call() expects array<int>, array&callable given.',
-				67,
+				'Parameter #1 $param of method Bug14549Bis\Foo::callArrayInt() expects array<int>, array&callable given.',
+				33,
 			],
 			[
-				'Parameter #1 $param of method Bug14549\Foo::call() expects array<int>, array&callable given.',
-				75,
+				'Parameter #1 $param of method Bug14549Bis\Foo::callConstantArrayStringString() expects array{string, string}, array&callable(): mixed given.',
+				34,
+			],
+			[
+				'Parameter #1 $param of method Bug14549Bis\Foo::callConstantArrayObjectOrStringStringString() expects array{object|string, string, string}, array&callable(): mixed given.',
+				36,
+			],
+			[
+				'Parameter #1 $param of method Bug14549Bis\Foo::callArrayInt() expects array<int>, array&callable given.',
+				44,
+			],
+			[
+				'Parameter #1 $param of method Bug14549Bis\Foo::callConstantArrayStringString() expects array{string, string}, array&callable(): mixed given.',
+				45,
+			],
+			[
+				'Parameter #1 $param of method Bug14549Bis\Foo::callConstantArrayObjectOrStringStringString() expects array{object|string, string, string}, array&callable(): mixed given.',
+				47,
 			],
 		]);
 	}

tests/PHPStan/Rules/Methods/MissingMethodParameterTypehintRuleTest.php

@@ -169,14 +169,6 @@ public function testBug14549(): void
 				'Method Bug14549\Foo::doBaz() has parameter $task with no signature specified for callable.',
 				53,
 			],
-			[
-				'Method Bug14549\Foo::doCallWithCallableArray() has parameter $task with no signature specified for callable.',
-				65,
-			],
-			[
-				'Method Bug14549\Foo::doCallWithCallableAndArray() has parameter $task with no signature specified for callable.',
-				73,
-			],
 		]);
 	}
 

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

@@ -0,0 +1,50 @@
+<?php
+
+namespace Bug14549Bis;
+
+class Foo
+{
+
+	/** @param array<int> $param */
+	public function callArrayInt(array $param): void
+	{
+	}
+
+	/** @param array{string, string} $param */
+	public function callConstantArrayStringString(array $param): void
+	{
+	}
+
+	/** @param array{object|string, string} $param */
+	public function callConstantArrayObjectOrStringString(array $param): void
+	{
+	}
+
+	/** @param array{object|string, string, string} $param */
+	public function callConstantArrayObjectOrStringStringString(array $param): void
+	{
+	}
+
+	/**
+	 * @param callable-array $task
+	 */
+	public function doCallWithCallableArray(array $task): void
+	{
+		$this->callArrayInt($task);
+		$this->callConstantArrayStringString($task);
+		$this->callConstantArrayObjectOrStringString($task);
+		$this->callConstantArrayObjectOrStringStringString($task);
+	}
+
+	/**
+	 * @param callable&array $task
+	 */
+	public function doCallWithCallableAndArray(array $task): void
+	{
+		$this->callArrayInt($task);
+		$this->callConstantArrayStringString($task);
+		$this->callConstantArrayObjectOrStringString($task);
+		$this->callConstantArrayObjectOrStringStringString($task);
+	}
+
+}

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

@@ -54,27 +54,6 @@ public function doBaz(array $task): void
 	{
 	}
 
-	/** @param array<int> $param */
-	public function call(array $param): void
-	{
-	}
-
-	/**
-	 * @param callable-array $task
-	 */
-	public function doCallWithCallableArray(array $task): void
-	{
-		$this->call($task);
-	}
-
-	/**
-	 * @param callable&array $task
-	 */
-	public function doCallWithCallableAndArray(array $task): void
-	{
-		$this->call($task);
-	}
-
 }