Array shapes are lost in a typehinted closure

[ramonacat]

Bug report

When a closure has an array typehint, PHPStan does not recognize the shape of the array, even if it's able to do so when the typehint is not present.

Code snippet that reproduces the problem

https://phpstan.org/r/38829cd6-d8d5-4603-b07c-5f79335e0ce2

Expected output

No errors.

[phpstan-bot]

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

@@ @@
-PHP 7.4 – 8.0 (1 error)
+PHP 7.4 – 8.0
 ==========
 
-8: Parameter #1 $x of method HelloWorld::takesShapedArray() expects array(int, string), array given.
+No errors
 
 PHP 7.1 – 7.3 (4 errors)
 ==========

Full report

PHP 7.4 – 8.0

No errors

PHP 7.1 – 7.3 (4 errors)

Line	Error
8	Syntax error, unexpected ',' on line 8
8	Syntax error, unexpected T_VARIABLE, expecting ':' on line 8
9	Syntax error, unexpected ',' on line 9
9	Syntax error, unexpected T_DOUBLE_ARROW, expecting ')' on line 9

[ramonacat]

Nice, it appears that this now works correctly 💪

[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.