MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 04:51:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

revert additional applicability checks due to captures inside subst

Browse Source
This commit is contained in:
Anna.Kozlova
2017-02-15 13:35:25 +01:00
parent 1ae9e3d2e5
commit e0afb738e7
3 changed files with 6 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
java/java-psi-api/src/com/intellij/psi/infos/MethodCandidateInfo.java
View File

@@ -25,9 +25,7 @@ import com.intellij.pom.java.LanguageLevel;
import com.intellij.psi.*;
import com.intellij.psi.impl.source.resolve.DefaultParameterTypeInferencePolicy;
import com.intellij.psi.impl.source.resolve.ParameterTypeInferencePolicy;
import com.intellij.psi.impl.source.resolve.graphInference.PsiPolyExpressionUtil;
import com.intellij.psi.util.PsiTreeUtil;
import com.intellij.psi.util.PsiTypesUtil;
import com.intellij.psi.util.PsiUtil;
import com.intellij.util.ThreeState;
import com.intellij.util.containers.ContainerUtil;
@@ -129,27 +127,15 @@ public class MethodCandidateInfo extends CandidateInfo{
final PsiMethod method = getElement();
if (isToInferApplicability()) {
//ensure applicability check
PsiSubstitutor applicabilitySubstitutor = getSubstitutor(false);
if (!isOverloadCheck()) {
//ensure applicability check is performed
getSubstitutor(false);
}
//already performed checks, so if inference failed, error message should be saved
if (myInferenceError != null || isPotentiallyCompatible() != ThreeState.YES) {
return ApplicabilityLevel.NOT_APPLICABLE;
}
if (myArgumentList instanceof PsiExpressionList) {
PsiParameter[] parameters = getElement().getParameterList().getParameters();
PsiExpression[] expressions = ((PsiExpressionList)myArgumentList).getExpressions();
for (int i = 0; i < expressions.length; i++) {
if (!PsiPolyExpressionUtil.isPolyExpression(expressions[i])) {
PsiType expressionType = expressions[i].getType();
PsiType parameterType = applicabilitySubstitutor.substitute(PsiTypesUtil.getParameterType(parameters, i, isVarargs()));
if (expressionType != null && parameterType != null && !parameterType.isAssignableFrom(expressionType)) {
return ApplicabilityLevel.NOT_APPLICABLE;
}
}
}
}
return isVarargs() ? ApplicabilityLevel.VARARGS : ApplicabilityLevel.FIXED_ARITY;
}

2
java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/incomplete/InsideParenthesis.java
View File

@@ -9,6 +9,6 @@ class Calls {
void foo(Function<String, Optional> computable) {}
{
((x) -> a(b(c<error descr="'c(C)' in 'Calls' cannot be applied to '(<lambda parameter>)'">(x)</error>)));
<error descr="Not a statement">((x) -> a(b(c(x))));</error>
}
}

2
java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
View File

@@ -495,7 +495,7 @@ public class GraphInferenceHighlightingTest extends LightDaemonAnalyzerTestCase
doTest();
}
public void testAssignabilityOfStandaloneExpressionsDuringApplicabilityCheck() throws Exception {
public void _testAssignabilityOfStandaloneExpressionsDuringApplicabilityCheck() throws Exception {
doTest();
}