You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm actually pleasantly surprised PHPStan found this because it's an issue in your code. See, numeric string gets always cast to an integer in an array key. And integer isn't a valid key in your array<string, string> array...
Bug report
Casting an int to a string, and then using isset with that key for an array with string keys reports that it can never exist.
Code snippet that reproduces the problem
https://phpstan.org/r/9ecc3acb-f438-4cd8-9490-05601d4bd7ee
Expected output
No errors
Potentially related to #4163
The text was updated successfully, but these errors were encountered: