mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
new inference: remove special handling of captured wildcard equals
This commit is contained in:
-2
@@ -48,8 +48,6 @@ public class SubtypingConstraint implements ConstraintFormula {
|
||||
|
||||
SubtypingConstraint that = (SubtypingConstraint)o;
|
||||
|
||||
if ( myS instanceof PsiCapturedWildcardType && myS != that.myS) return false;
|
||||
|
||||
if (myS != null ? !myS.equals(that.myS) : that.myS != null) return false;
|
||||
if (myT != null ? !myT.equals(that.myT) : that.myT != null) return false;
|
||||
|
||||
|
||||
-8
@@ -109,11 +109,6 @@ public class TypeEqualityConstraint implements ConstraintFormula {
|
||||
return true;
|
||||
}
|
||||
|
||||
if (myT instanceof PsiCapturedWildcardType && myS instanceof PsiCapturedWildcardType) {
|
||||
return new TypeEqualityConstraint(((PsiCapturedWildcardType)myT).getWildcard(),
|
||||
((PsiCapturedWildcardType)myS).getWildcard()).reduce(session, constraints);
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
@@ -130,9 +125,6 @@ public class TypeEqualityConstraint implements ConstraintFormula {
|
||||
|
||||
TypeEqualityConstraint that = (TypeEqualityConstraint)o;
|
||||
|
||||
if (myS instanceof PsiCapturedWildcardType && myS != that.myS) return false;
|
||||
if (myT instanceof PsiCapturedWildcardType && myT != that.myT) return false;
|
||||
|
||||
if (myS != null ? !myS.equals(that.myS) : that.myS != null) return false;
|
||||
if (myT != null ? !myT.equals(that.myT) : that.myT != null) return false;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user