unexpected non-empty-array error

[staabm]

Bug report

I am wondering whether its a bug, that a array like array<string, string> violates a non-empty-array type

Code snippet that reproduces the problem

https://phpstan.org/r/cbd1dc4a-8ace-4c0e-98fe-aea5561b9e63
-> expected no error

when using non-empty-array<string, mixed> it works without errors, like expected
see https://phpstan.org/r/e419f103-0573-44b7-964a-4a89a833b911

[phpstan-bot]

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

@@ @@
-15: Parameter #1 $attributes of method HelloWorld::update_attributes() expects array&nonEmpty, array<string, string> given.
 27: Method HelloWorld::update_attributes() has parameter $attributes with no value type specified in iterable type array.

Full report

Line	Error
27	Method HelloWorld::update_attributes() has parameter $attributes with no value type specified in iterable type array.

[phpstan-bot]

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

@@ @@
-15: Parameter #1 $attributes of method HelloWorld::update_attributes() expects array<string, mixed>&nonEmpty, array<string, string> given.
+No errors

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