phpstan - 如何表示一个非空数组？

Question

我尝试使用类型的交集

/**
 * @param array&nonEmpty $users
 */
function sayHello($users): void {
    echo 'Hello, ' . $users[0];
}

但它抱怨：

PHPDoc tag @param for parameter $users contains unresolvable type.

（现场演示）

如果我将注释剥离为 just nonEmpty，则错误更改为

Parameter $users of function sayHello() has invalid typehint type nonEmpty

我确实看到了负责源树nonEmpty中类型的类，并且在测试和问题中多次提到过，但我就是无法让它工作。

Answer 1

只是为来自搜索引擎的人提供答案：

PHPStan 现在有non-empty-array你可以使用的类型。这是一个例子。