// returns Int.MAX_VALUE if not applicable

// returns -score if conversions are needed

// or +score if no conversions are needed

// Lower score is better

static int methodApplicabilityScore_withPrimitiveWidening(Executable m, O[] args) {

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

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

  int score = 0;

  bool widenings;

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

    O a = args[i];

    Class c = types[i];

    // null can be assigned to any non-primitive type

    if (a == null) {

      if (c.isPrimitive())

        ret Int.MAX_VALUE;

     } else {

       Class t = a.getClass();

       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;

}