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;
 }