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

Recursive constraints handled

Browse Source
This commit is contained in:
Dmitri Boulytchev
2005-02-28 19:05:52 +03:00
parent ef9d1ab616
commit 58a610baa6
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
source/com/intellij/refactoring/typeCook/deductive/resolver/ResolverTree.java
+9
View File
@@ -561,6 +561,15 @@ public class ResolverTree {
final PsiType right = constr.getRight();
if (!(left instanceof PsiTypeVariable) && right instanceof PsiTypeVariable) {
final HashSet<PsiTypeVariable> bound = new PsiTypeVarCollector().getSet(left);
if (bound.contains(right)){
myConstraints.remove(constr);
mySons = new ResolverTree[]{applyRule(myBindingFactory.create(((PsiTypeVariable)right), Bottom.BOTTOM))};
return;
}
final PsiManager manager = PsiManager.getInstance(myProject);
final PsiType leftType = left instanceof PsiWildcardType ? ((PsiWildcardType)left).getBound() : left;
final PsiType[] types = getTypeRange(PsiType.getJavaLangObject(manager, GlobalSearchScope.allScope(myProject)), leftType);