import org.jetbrains.annotations.Nullable;
class Test {
  @Nullable volatile String x;

  public void foo() {
    if (x != null) {
      System.out.println(x.<warning descr="Method invocation 'substring' may produce 'NullPointerException'">subs<caret>tring</warning>(1));
    }
  }
}