Detect array_rand second parameter

[ghost]

Bug report

It seems that PHPStan is unable to detect that I've already checked that the second parameter is NOT one, thus there is no way for the array_rand function to actually return an int.

Code snippet that reproduces the problem

https://phpstan.org/r/dd4af264-54b9-4c5c-a674-7dad5c089d5f

Expected output

I expected no error.

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

PHPStan helps me everyday write awesome open source code, thank you!

[ondrejmirtes]

This code needs fixing: https://github.com/phpstan/phpstan-src/blob/b551135ac79a532309675a3ac28fdae9d3fbb04e/src/Type/Php/ArrayRandFunctionReturnTypeExtension.php#L52-L60

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2633

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