docs: private boolean mergeState(int[] current, int[] incoming, int size,
        ConstantPool pool) {
      boolean changed = false;
      for (int i = 0; i < size; i++) {
        int currentType = current[i];
  
        current[i] = TypeInfo.merge(current[i], incoming[i], pool);
        if (currentType != current[i]) {
          changed = true;
        }
      }
      return changed;
    }