Feature request

repro: https://phpstan.org/r/037a17ce-d709-4a19-8e4e-fc19915aa188

I would expect phpstan to emit an error even for level <= 6, as array<positive-int, string> is guaranteed to be not a subtype of list.

The check is easy - check if the type does allow 0 as key.