我尝试使用类型的交集。 * @param array&nonEmpty $usersfunction sayHello($users): void {}PHPDoc tag @param for parameter $users contains unresolvable type.如果我将注释剥离为仅nonEmpty,则错误更改为
Parameter $users of function sayHello() has invalid typehint type
MyClass>)是一种值类型,它是用作字典的(非空)对象,将任意字符串作为键,将MyClass的(非空)实例作为值。(请注意,如果myDict是这种类型,则myDict[str]可能是undefined,但str in myDict表示myDict[str] instanceof MyClass。)有没有办法另外指定这样的字典对象的原型必须为空(即由Object.create(null)生成的?(AFIAK闭包类型系统不提供指定这一点的方法。)