在PHPstan中指定数组形状的键

我想注释函数,tat接受至少有键的数组 "a" 并使用新添加的键返回相同的数组形状 "x" .我试着用这样的交集类型:

/**
 * @template T of array{a: string}
 * @param T $p
 * @return T&array{x: int}
 */
function addXToArray(array $p) {
    $p['x'] = strlen($p['a']);
    return $p;
}

$result = addXToArray(['a' => 'hello']);

这显然不是正确的方式,因为PHPstan抱怨(在第10级,“将PHPDoc类型视为确定”):

PHPDoc tag @return contains unresolvable type.

我使用模板 T 因为我需要保留论证中可能存在的任何其他密钥。

如何正确注释函数?