getopt() function missing @param-out int for $rest_index #12103
Description
Bug report
Code snippet that reproduces the problem
https://phpstan.org/r/24021db6-f9da-4440-92af-cc6528b589fa
Expected output
No error
Did PHPStan help you today? Did it make you happy in any way?
No response