Bug report

numeric-string becomes int when used as array key in foreach loop. It should remain numeric-string.

Code snippet that reproduces the problem

https://phpstan.org/r/dcace087-f961-4a6e-a4ab-ca4890b53763

Expected output

numeric-string