array_change_key_case() misses lower-case string type #11795
Description
Bug report
we are missing a more precise return type
Code snippet that reproduces the problem
https://phpstan.org/r/37cd35c5-e8bb-4049-b989-fe72105c64d0
Expected output
array<lowercase-string>
Did PHPStan help you today? Did it make you happy in any way?
No response