如何让intellij在不使用nullness注释的情况下警告可能的NPE

Question

例如，如果我能在某处发出警告，那就太好了：

public boolean doit(final List<Long> list) {
    return list.isEmpty();
}

public void go() {
    doit(null);
}

但我没有看到一个。

静态证明，NPE不仅可以发生，但在这种情况下将发生。

由于