SOE on infinite types with super wildcards (IDEA-138880; IDEA-77600)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/SOEInInfiniteTypesWithSuperWildcards.java

@@ -0,0 +1,11 @@
+
+class AsId <T extends HasId<? super T>> implements Id<T> {}
+interface HasId<T extends HasId<T>> {}
+interface Id<T extends HasId<? super T>>{}
+
+interface Pong<T> {}
+class Ping<T> implements Pong<Pong<? super Ping<Ping<T>>>> {
+  static void Ping() {
+    Pong<? super Ping<Long>> Ping = new Ping<Long>();
+  }
+}