sbool newPreciseCall_debug;

sO newPreciseCall(O o, S method, O... args) ctex {
  if (o == null) null;
  bool staticCall = o instanceof Class;
  Class c = staticCall ? (Class) o : o.getClass();
  O target = staticCall ? null : o;
  
  _MethodCache cache = callOpt_getCache(c);
  L<Method> methods = cache.cache.get(method);
  Method best = null;
  int bestScore = Int.MAX_VALUE;
  bool widening;
  if (newPreciseCall_debug)
    printVars("newPreciseCall", +method, +staticCall, +c, methods := l(methods));
    
  if (methods != null) for (Method m : methods) {
    if (staticCall && !isStaticMethod(m)) continue;
    
    int score = methodApplicabilityScore_withPrimitiveWidening(m, args);
    if (score == 0)
      ret invokeMethod(m, target, args);
    
    if (newPreciseCall_debug)
      print("Method score: " + m + " " + score);
        
    if (abs(score) < bestScore) {
      best = m;
      bestScore = abs(score);
      widening = score < 0;
    }
  }
  
  if (best != null)
    if (widening)
      ret invokeMethodWithWidening(best, target, args);
    else
      ret invokeMethod(best, target, args);
    
  ret callWithVarargs(o, method, args); // TODO: make this precise too
}

Began life as a copy of #1007856