php - 正确使用 Psalm 中一组类的模板注解

Question

如何在 psalm 中使用模板注释。我有抽象类

abstract class eventNotification
{
    /**
     * @param eventAbstract|aggregateChanged $e
     * @return eventNotification     
     */
    abstract static public function occurred(aggregateChanged|eventAbstract $e): eventNotification;
}

例如实现

final class e1Notify extends eventNotification
{

    /**
     * @param aggregateChanged|eventAbstract $e
     * @return eventNotification     
     */
    static public function occurred(aggregateChanged|eventAbstract $e):  eventNotification
    {
        return new self(
            ['v1'=>$e->v1(), 'v2'=>$e->v2()],
            ['id'=>$e->aggregateId()]
        );
    }
} 

当然每个类都位于自己的文件中。e1Notify::occurred() 只能接收类型为 e1 的对象，该类型具有方法 v1() 和 v2()。并非所有的 aggregateChanged|eventAbstract 对象都具有相同的方法。所以 psalm 向我展示了关于方法 v1()、v2() 的错误 UndefinedMethod。

我需要解释一下 e1Notify 只接收类型为 e1 的对象。我认为我必须使用模板注释，但我不明白如何。