docs: public JSVariant[] getDominatedVariants(int i) {
      if (dominated == null)
        dominated = new JSVariant[cases.length][];
      if (dominated[i] == null) {
        JSType acase = cases[i];
        if (acase instanceof JSVariant)
          dominated[i] = new JSVariant[] {(JSVariant)acase };
        else if (acase instanceof JSTuple)
          dominated[i] = ((JSTuple)acase).getDominatedVariants();
        else
          // Other cases don't dominate any unboxed variants (JSRepeated always boxes any
          // variants under it)
          dominated[i] = new JSVariant[0];
      }
      return dominated[i];
    }