PHPStan предоставляет типы непустого массива и непустого списка. Также, похоже, есть специальная обработка типов с именем Collection, когда эти типы не объявлены универсальными, если я правильно интерпретирую документацию. Однако я не могу найти способ объявить, что значение должно быть коллекцией, а только непустым.
Я специально работаю с интерфейсом Doctrine Collection, который является универсальным, поэтому это мой главный интерес, но я чувствую, что действительно полный ответ, ради процветания, должен обсуждать как общие, так и неуниверсальные типы коллекций.
Подробнее здесь: https://stackoverflow.com/questions/798 ... collection
