count() of constant array should make offsets non-optional #12190
Description
Feature request
https://phpstan.org/r/503676e4-7502-4796-82fc-d82b460c2263
as it was found by phpstan/phpstan-src#3708
Did PHPStan help you today? Did it make you happy in any way?
No response