PhpStorm：突出显示没有已知类型的变量？

Question

PhpStorm在读取类型提示和从其使用中推断变量类型方面做得很好。但是当它无法确定变量的合理类型时，它不会发出警告。明显的缺点是，如果你以一种非法的方式使用变量，当它不知道它永远不会发出警告的类型时。

如果无法确定变量的类型，是否可以发出警告或突出显示变量？修复程序将添加显式类型提示或缺少返回注释。