Я пытался использовать пересечение типов
/**
* @param array&nonEmpty $users
*/
function sayHello($users): void {
echo 'Hello, ' . $users[0];
}
, но он жалуется:
PHPDoc tag @param for parameter $users contains unresolvable type.
( живая демонстрация )
Если я раздеваюсь аннотация просто nonEmpty, ошибка меняется на
Parameter $users of function sayHello() has invalid typehint type nonEmpty
Я вижу класс, ответственный за тип nonEmpty в исходном дереве , а также несколько раз упоминается в тесты и выдают , но я просто не мог заставить его работать.