A quick check reveals that we rule out one method in Scope.parameterCompatibilityLevel(MethodBinding, TypeBinding[], InvocationSite) by the code section commented thusly:
1.8+ Post inference compatibility check policy: For non-functional-type arguments, trust inference. For functional type arguments apply compatibility checks after inference has completed to ensure arguments that were not pertinent to applicability which have only seen potential compatibility checks are actually compatible.
@srikanth-sankaran it seems your strategy is better than allowed. OTOH, it may as well compensate for extra-constituational smartness in javac, just at a slightly different scope. So if removing that section causes a lot of harm we should probably prefer being "too smart" over "looking dumb" ;-P
Carried over from https://bugs.eclipse.org/506741 :
A quick check reveals that we rule out one method in
Scope.parameterCompatibilityLevel(MethodBinding, TypeBinding[], InvocationSite)by the code section commented thusly:@srikanth-sankaran it seems your strategy is better than allowed. OTOH, it may as well compensate for extra-constituational smartness in javac, just at a slightly different scope. So if removing that section causes a lot of harm we should probably prefer being "too smart" over "looking dumb" ;-P