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