static L<Method> findMethods_precise_onTypes(O o, S method, Class... argTypes) ctex {
  if (o cast Class) {
    _MethodCache cache = callOpt_getCache(o);
    L<Method> methods = cache.cache.get(method);
    new Map<Method, Int> scores;
    if (methods != null) for (Method m : methods) {
      continue unless isStaticMethod(m);
      int score = methodApplicabilityScore_onTypes(m, argTypes);
      if (score < Int.MAX_VALUE) {
        /*if (preciseCall_debug)
          print("Method score: " + m + " " + score);*/
        scores.put(m, score);
      }
    }
    ret keysSortedByValue(scores);
  }
  
  if (o == null) null;
  _MethodCache cache = callOpt_getCache(o.getClass());
  L<Method> methods = cache.cache.get(method);
  new Map<Method, Int> best;
  if (methods != null) for (Method m : methods) {
    int score = methodApplicabilityScore_onTypes(m, argTypes);
    if (score < Int.MAX_VALUE)
      best.put(m, score);
  }
  ret keysSortedByValue(best);
}

Began life as a copy of #1020934