Expect crash due to javac bug

framework/src/main/java/org/checkerframework/framework/type/DefaultTypeHierarchy.java

@@ -412,7 +412,20 @@ protected boolean isContainedBy(
     if (canBeCovariant) {
       return isSubtype(inside, outside, currentTop);
     }
-    return areEqualInHierarchy(inside, outside);
+
+    try {
+      return areEqualInHierarchy(inside, outside);
+    } catch (Exception e) {
+      // Ignore exception and try capturing.
+      // See https://github.com/typetools/checker-framework/issues/6867.
+      // https://bugs.openjdk.org/browse/JDK-8054309
+    }
+    AnnotatedTypeMirror capturedOutside = outside.atypeFactory.applyCaptureConversion(outside);
+    previousResult = areEqualVisitHistory.get(inside, capturedOutside, currentTop);
+    if (previousResult != null) {
+      return previousResult;
+    }
+    return areEqualInHierarchy(inside, capturedOutside);
   }
 
   /**

framework/tests/all-systems/Issue6867.java

@@ -0,0 +1,12 @@
+public class Issue6867 {
+  interface A<T extends Number> {}
+
+  static class B<T extends A<? super Integer>> {}
+
+  void main(B<A<Number>> b) {
+    @SuppressWarnings("super.wildcard") // This is a true positive.
+    // This code is rejected by Eclipse and IntelliJ's presentation compiler. It's a bug in javac.
+    // https://bugs.openjdk.org/browse/JDK-8054309
+    B<A<? super Number>> x = b;
+  }
+}