Regression tests

Closes phpstan/phpstan#5356
Closes phpstan/phpstan#1954

Author: ondrejmirtes

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -843,4 +843,32 @@ public function testArrayMapMultiple(bool $checkExplicitMixed): void
 		]);
 	}
 
+	public function testBug5356(): void
+	{
+		if (PHP_VERSION_ID < 70400 && !self::$useStaticReflectionProvider) {
+			$this->markTestSkipped('Test requires PHP 7.4.');
+		}
+
+		$this->analyse([__DIR__ . '/data/bug-5356.php'], [
+			[
+				'Parameter #1 $callback of function array_map expects callable(string): mixed, Closure(array): \'a\' given.',
+				13,
+			],
+			[
+				'Parameter #1 $callback of function array_map expects callable(string): mixed, Closure(array): \'a\' given.',
+				21,
+			],
+		]);
+	}
+
+	public function testBug1954(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-1954.php'], [
+			[
+				'Parameter #1 $callback of function array_map expects callable(1|stdClass): mixed, Closure(string): string given.',
+				7,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-1954.php

@@ -0,0 +1,8 @@
+<?php
+
+namespace Bug1954;
+
+function (): void {
+	$a = [1, new \stdClass()];
+	$b = array_map(function (string $s) : string { return $s; }, $a);
+};

tests/PHPStan/Rules/Functions/data/bug-5356.php

@@ -0,0 +1,24 @@
+<?php // lint >= 7.4
+
+namespace Bug5356;
+
+class Foo
+{
+
+	public function doFoo(): void
+	{
+		/** @var array{name: string, collectors: string[]} $array */
+		$array = [];
+
+		array_map(static fn(array $_): string => 'a', $array['collectors']);
+	}
+
+	public function doBar(): void
+	{
+		/** @var array{name: string, collectors: string[]} $array */
+		$array = [];
+
+		array_map(static function(array $_): string { return 'a'; }, $array['collectors']);
+	}
+
+}