为什么番石榴验证不是没有@Nonnull？

Question

Guava＆＃39; verifyNotNull获取一个可以为空的参数，该参数在运行时始终是非空的，并声明声明。

但是，困扰我的是，该方法没有使用@Nonnull进行注释。它似乎应该，但此外，这种缺乏导致IntelliJ IDEA在我使用@Nonnull返回值或变量的返回值时抛出警告。

这种方法是否有理由不通过注释反映其合同？