FP: method expects array|string, array<int> given

[dktapps]

Bug report

This is a weird corner case that requires a combination of several factors:

1. A function accepts mixed[]|something
2. The function is called with an array which is known to not be empty (e.g. due to count()).

I observe the following:

• If the count() check is removed, everything is fine.
• If the type is merely mixed[] instead of mixed[]|something, everything is also fine.

Code snippet that reproduces the problem

https://phpstan.org/r/0eac094b-8140-414b-ad0c-f3c360a44186

Expected output

No error should be reported.

Did PHPStan help you today? Did it make you happy in any way?

It gave me a good chuckle to realize how hard this bug would have been to find intentionally.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@9f12f0f

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