// returns Int.MAX_VALUE if not applicable

// returns -score if conversions are needed

// or +score if no conversions are needed

// Lower score is better

// assumes no arguments are null

static int methodApplicabilityScore_withPrimitiveWidening_onTypes(Executable m, Class[] argTypes) {

  Class<?>[] types = m.getParameterTypes();

  if (types.length != l(argTypes)) ret Int.MAX_VALUE;

  int score = 0;

  bool widenings;

  for (int i = 0; i < types.length; i++) {

    Class t = argTypes[i];

    Class c = types[i];

     int s = typeConversionScoreWithUnboxing(t, c);

     printVars ifdef typeConversionScore_debug("typeConversionScoreWithUnboxing", +t, +c, +s);

     if (s == Int.MAX_VALUE)

       ret Int.MAX_VALUE;

     if (s < 0) set widenings;

     score += abs(s);

  }

  ret widenings ? -score : score;

}