Fix phpstan/phpstan#13092: Using result of random_int in another random_int results in an error#5411

phpstan-bot wants to merge 2 commits intophpstan:2.1.xphpstan/phpstan-src:2.1.xfrom

phpstan-bot:create-pull-request/patch-iv7kb74phpstan-bot/phpstan-src:create-pull-request/patch-iv7kb74Copy head branch name to clipboard