inference: simplify bounds check; ensure fresh variables are treated as same, important e.g. in case of diamond operator when inferred types are new each time they are computed (IDEA-131066)

(cherry picked from commit 517c299e336e38bc20d3478191279be2176fbd9b)

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

@@ -0,0 +1,15 @@
+class Builders {
+  public static A foo() {
+    return new A.Builder<>().create();
+  }
+
+  static class A<K extends A.Builder<K>> {
+    public static class Builder<T extends Builder<T>> {
+      public A<T> create() {
+        return null;
+      }
+    }
+  }
+}
+
+

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/InferredParameterInBoundsInRecursiveGenerics.java

@@ -0,0 +1,15 @@
+class Builders {
+  public static A foo() {
+    return new A.Builder<>().create();
+  }
+
+  static class A<K extends A.Builder<K>> {
+    public static class Builder<T extends Builder<T>> {
+      public A<T> create() {
+        return null;
+      }
+    }
+  }
+}
+
+