ExpectationInterface 缺少 Expectation 类中所具有的方法。

你好，我有一个关于我们测试的静态分析问题。 我们最近在公司项目中引入了 phpstan。 我们成功地修复了生产代码中的所有错误。 我们还成功地修复了测试中的几乎所有错误。 唯一的例外是 mockery 方面的问题，其中方法声称返回某个接口（ExpectationInterface），但实际上返回的是 Expectation 类。 我们在 Expectation 上调用了 once（）、with（）、等方法，这些方法运行正常，测试也没问题。 但是，测试代码的静态分析却告诉我们，调用了未定义的方法，因为 ExpectationInterface 没有这些方法，但 Expectation 类有，但静态分析工具并不知道这一点。 是否可以在接口上添加这些方法？或者这些方法仅仅是类的一部分，而不是接口的原因是什么？