void test2(Arrays lib) { @Nullable String[] @NonNull [] arr = lib.getArray(); if (arr == null) throw new NullPointerException(); // not dead code @Nullable String @NonNull [] arr2 = Arrays.array; Arrays.array[1] = null; }