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

captured wildcard: if one of captures contains super wildcard, existential types must be the same (symmetry)

Browse Source
This commit is contained in:
Anna Kozlova
2015-06-08 11:24:29 +03:00
parent cfcdf78010
commit 77b11fd35b
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-psi-api/src/com/intellij/psi/PsiCapturedWildcardType.java
+5 -1
View File
@@ -64,7 +64,11 @@ public class PsiCapturedWildcardType extends PsiType.Stub {
}
final PsiCapturedWildcardType captured = (PsiCapturedWildcardType)o;
if (!myContext.equals(captured.myContext) || myExistential.isSuper() && !myExistential.equals(captured.myExistential)) {
if (!myContext.equals(captured.myContext)) {
return false;
}
if ((myExistential.isSuper() || captured.myExistential.isSuper()) && !myExistential.equals(captured.myExistential)) {
return false;
}