sbool canNewPreciseCall(O o, S method, O... args) ctex {
  if (o == null) true;
  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);
  if (methods != null) for (Method m : methods) {
    if (staticCall && !isStaticMethod(m)) continue;
    
    int score = methodApplicabilityScore_withPrimitiveWidening(m, args);
    if (score < Int.MAX_VALUE) true;
  }
  
  ret canCallWithVarargs(o, method, args);
}