`random_int()` with missing arguments causes exceptions

[weirdan]

Bug report

random_int() call with missing arguments crashes PHPStan

Code snippet that reproduces the problem

https://phpstan.org/r/c7010dba-ec72-4310-b456-196bda5ee461

Expected output

PHPStan shouldn't crash, it should report Function random_int() invoked with 0 parameters, 2 required.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@6d7ba0f

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