PhpStorm:在满足前提条件时如何处理未处理的异常

我非常喜欢PhpStorm检测工具.他们帮助我编写更好的代码.现在我有以下情况,我问自己处理这种情况的最佳方法是什么.

我有一个带有一些前置条件的函数f,例如在下面的代码中:

/**
 * @param int $x
 * @throws PreconditionException x is negative
 */
 public function f(int $x): int
 {
   if ($x <0) {
     throw new PreconditionException("the input x is negative");
   }
 }

然后我在某个地方使用这个函数让我们说以下内容:

f(5);

现在,PhpStorm以"未处理的异常"警告我.但在这种情况下,我知道不会抛出异常,所以添加一个try块并不是真的有意义.我应该简单地忽略这个警告,或者最好的方法是什么？