MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-06 05:10:22 +07:00
Code Issues Packages Projects Releases Wiki Activity

new overload resolution: check only functional arguments in isFunctionalTypeMoreSpecific (IDEA-134328)

Browse Source
This commit is contained in:
Anna Kozlova
2014-12-17 15:50:18 +01:00
parent 673a65262c
commit a026cc2dd1
3 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/InferenceSession.java
View File

@@ -1201,7 +1201,7 @@ public class InferenceSession {
continue;
}
if (LambdaUtil.isFunctionalType(sType) && LambdaUtil.isFunctionalType(tType) && !relates(sType, tType)) {
if (!isFunctionalTypeMoreSpecific(sType, tType, session, args)) {
if (!isFunctionalTypeMoreSpecific(sType, tType, session, args[i])) {
return false;
}
} else {

22
java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/overloadResolution/IgnoreNonFunctionalArgumentsWhenCheckIfFunctionalMoreSpecific.java Normal file
View File

@@ -0,0 +1,22 @@
import java.util.List;
import java.util.function.Function;
class Test {
{
transform(1, (String l) -> null);
}
public static <I, O> void transform(int input, Function<I, O> function) {
System.out.println(input);
System.out.println(function);
}
interface IFunction<F, T> {
List<T> apply(F var1);
}
public static <I, O> void transform(int input, IFunction<I, O> function) {
System.out.println(input);
System.out.println(function);
}
}

4
java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/OverloadResolutionTest.java
View File

@@ -51,6 +51,10 @@ public class OverloadResolutionTest extends LightDaemonAnalyzerTestCase {
doTest();
}
public void testIgnoreNonFunctionalArgumentsWhenCheckIfFunctionalMoreSpecific() throws Exception {
doTest();
}
private void doTest() {
doTest(true);
}