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

checked exception constraints: ensure ground type (IDEA-173200)

Browse Source
This commit is contained in:
Anna Kozlova
2017-05-22 11:20:51 +03:00
parent 8ae9ee00bb
commit 011b8e4e10
3 changed files with 21 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/CheckedExceptionCompatibilityConstraint.java
View File

@@ -17,7 +17,6 @@ package com.intellij.psi.impl.source.resolve.graphInference.constraints;
import com.intellij.codeInsight.ExceptionUtil;
import com.intellij.openapi.diagnostic.Logger;
import com.intellij.openapi.util.Condition;
import com.intellij.psi.*;
import com.intellij.psi.impl.source.resolve.graphInference.FunctionalInterfaceParameterizationUtil;
import com.intellij.psi.impl.source.resolve.graphInference.InferenceSession;
@@ -76,7 +75,7 @@ public class CheckedExceptionCompatibilityConstraint extends InputOutputConstrai
return false;
}
final PsiSubstitutor substitutor = LambdaUtil.getSubstitutor(interfaceMethod, PsiUtil.resolveGenericsClassInType(myT));
final PsiSubstitutor substitutor = LambdaUtil.getSubstitutor(interfaceMethod, PsiUtil.resolveGenericsClassInType(groundTargetType));
if (myExpression instanceof PsiLambdaExpression && !((PsiLambdaExpression)myExpression).hasFormalParameterTypes() ||
myExpression instanceof PsiMethodReferenceExpression && !((PsiMethodReferenceExpression)myExpression).isExact()) {
for (PsiParameter parameter : interfaceMethod.getParameterList().getParameters()) {

19
java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newMethodRef/WildcardInCheckedCompatibilityConstraints.java Normal file
View File

@@ -0,0 +1,19 @@
import java.io.IOException;
import java.io.UncheckedIOException;
import java.util.function.Function;
class Main {
public static void main(String[] args) {
runTest(Main::test, UncheckedIOException:: new);
}
private static void test() throws IOException {}
private static <E extends Throwable> void runTest(A<? extends E> a, Function<E, ?> b) { }
@FunctionalInterface
public interface A<E extends Throwable> {
void foo() throws E;
}
}

1
java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/NewMethodRefHighlightingTest.java
View File

@@ -173,6 +173,7 @@ public class NewMethodRefHighlightingTest extends LightDaemonAnalyzerTestCase {
public void testMethodREfToContainingMethodWithGenericParam() { doTest(); }
public void testDistinguishCapturedWildcardsByDifferentParameters() throws Exception { doTest(); }
public void testConstructorRefOnClassWithRecursiveTypeParameter() throws Exception { doTest(); }
public void testWildcardInCheckedCompatibilityConstraints() { doTest(); }
public void testPreferErrorOnTopLevelToFailedSubstitutorOnNestedLevel() { doTest(); }