正确使用 Psalm 中一组类的模板注释

如何解决正确使用 Psalm 中一组类的模板注释

如何在 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() 只能接收具有 v1() 和 v2() 方法的 e1 类型的对象。并非所有的aggregateChanged|eventAbstract 对象都具有相同的方法。所以诗篇向我展示了关于方法 v1(),v2() 的错误 UndefinedMethod。

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