Not sure whether this is really a bug, saw on phpstan.org:

<?php return [,"a"];

https://phpstan.org/r/2d55784d-1a6e-4abd-86fa-5c0f3353bd62