new inference: accept captured wildcard opening during subtype constraint reduction

2026-09-27 10:03:11 +07:00 · 2013-11-06 15:35:41 +01:00
parent 66462d01d0
commit a2ad6fd3b6
1 changed files with 5 additions and 0 deletions
@@ -114,6 +114,11 @@ public class SubtypingConstraint implements ConstraintFormula {
          if (tBound.equalsToText(CommonClassNames.JAVA_LANG_OBJECT)) {
            return true;
          }
+
+          if (myS instanceof PsiCapturedWildcardType) {
+            myS = ((PsiCapturedWildcardType)myS).getWildcard();
+          }
+
          if (myS instanceof PsiWildcardType) {
            final PsiType sBound = ((PsiWildcardType)myS).getBound();
            if (sBound != null && ((PsiWildcardType)myS).isExtends()) {