No type specified for $argv

[dktapps]

Bug report

$argv appears not to have any type associated with it by PHPStan.

When defined, it is always a linear array of strings.

Code snippet that reproduces the problem

https://phpstan.org/r/b2ae974f-30b1-44fb-bbc2-5f75e4d7a771

Expected output

Dumped type: list<string> or something similar.

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

I found hundreds of new issues in my code when enabling checkImplicitMixed. Jury is out on how many of these are real problems, though...

[staabm]

I think this one was fixed with phpstan: phpstan/phpstan-src#1718

(but the robot did not realize the change)

[ondrejmirtes]

Thanks.

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