javac/comp/Resolve.java

577             List<Type> actuals = typeargtypes;
578             while (formals.nonEmpty() && actuals.nonEmpty()) {
582                     if (!types.isSubtypeUnchecked(actuals.head, bounds.head, warn))
583                         throw inapplicableMethodException.setMessage("explicit.param.do.not.conform.to.bounds",actuals.head, bounds);
586                 actuals = actuals.tail;
674      * a set of types (actuals) is compatible with another set of types (formals).
681          * as to whether a set of types (actuals) is compatible with another set of
695         MethodCheck mostSpecificCheck(List<Type> actuals);
738             //do nothing - method always applicable regardless of actuals
741         public MethodCheck mostSpecificCheck(List<Type> actuals) {
748      * iterating through formals and actuals and provides and entry point
822         public MethodCheck mostSpecificCheck(List<Type> actuals) {
829      * Arity-based method check. A method is applicable if the number of actuals
917         public MethodCheck mostSpecificCheck(List<Type> actuals) {
918             return new MostSpecificCheck(actuals);
971         public MethodCheck mostSpecificCheck(List<Type> actuals) {
972             return new MostSpecificCheck(actuals);
1088         List<Type> actuals;
1090         MostSpecificCheck(List<Type> actuals) {
1091             this.actuals = actuals;
1102                 ResultInfo mresult = methodCheckResult(formals2.head, deferredAttrContext, warn, actuals.head);
1106                 actuals = actuals.isEmpty() ? actuals : actuals.tail;
1356         public MethodCheck mostSpecificCheck(List<Type> actuals) {
1661     private boolean signatureMoreSpecific(List<Type> actuals, Env<AttrContext> env, Type site, Symbol m1, Symbol m2, boolean useVarargs) {
1664                             Math.max(m1.type.getParameterTypes().length(), actuals.length()),
1671                     prevResolutionContext.methodCheck.mostSpecificCheck(actuals);