Feature request

https://phpstan.org/r/c7d49d7e-009d-4420-9ea8-f0b85b7d5f9d

Hello!

Could we have a warning that array key will be automatically converted?
e.g. '10' as a key will be converted to 10
Thank you for considering!