old inference: choose child type between types in subtypes constraint (IDEA-118536)

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

@@ -0,0 +1,10 @@
+import java.util.Comparator;
+
+class MyTest {
+  void foo(final Ordering<Comparable> natural){
+    compound(natural);
+  }
+  <U extends String> Ordering<U> compound(Comparator<? super U> secondaryComparator) { return null; }
+}
+abstract class Ordering <T> implements Comparator<T> {}
+