void (@Nullable String @NotNull [] x) { if (<warning descr="Condition 'x == null' is always 'false'">x == null</warning>) { System.out.println("x is null"); } m(x); m(<warning descr="Argument 'x[0]' might be null">x[0]</warning>); }