Report wrong type expected by an array_map closure

[ondrejmirtes]

Feature request

https://phpstan.org/r/2c752186-1a20-465a-9e94-0be9cb120669

https://phpstan.org/r/b9bc584a-db2a-46e3-8382-b6c69a4ff93e

[phpstan-bot]

@ondrejmirtes After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 7.4 – 8.0
+PHP 7.4 – 8.0 (1 error)
 ==========
 
-No errors
+6: Parameter #1 $callback of function array_map expects callable(string): mixed, Closure(array): 'a' given.
 
 PHP 7.1 – 7.3 (3 errors)
 ==========

Full report

PHP 7.4 – 8.0 (1 error)

Line	Error
6	Parameter #1 $callback of function array_map expects callable(string): mixed, Closure(array): 'a' given.

PHP 7.1 – 7.3 (3 errors)

Line	Error
6	Syntax error, unexpected ')' on line 6
6	Syntax error, unexpected T_STRING, expecting T_PAAMAYIM_NEKUDOTAYIM on line 6
6	Syntax error, unexpected T_VARIABLE, expecting ':' on line 6

[phpstan-bot]

@ondrejmirtes After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-No errors
+6: Parameter #1 $callback of function array_map expects callable(string): mixed, Closure(array): 'a' given.

Full report

Line	Error
6	Parameter #1 $callback of function array_map expects callable(string): mixed, Closure(array): 'a' given.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.