Add tests for obsolete issues

#KT-4628 Obsolete
 #KT-3897 Obsolete
 #KT-3898 Obsolete
 #KT-7523 Obsolete

compiler/testData/diagnostics/tests/j+k/kt7523.kt

@@ -0,0 +1,14 @@
+// FILE: A.java
+public interface A<T extends A<? super T, ?>, S extends A<? super T, ?>> {}
+
+// FILE: C.java
+public class C
+{
+    public <T extends A<? super T, ?>, S extends A<? super T, ?>> void f(A<T, S> x){}
+}
+
+// FILE: main.kt
+fun foo() {
+    // TODO: uncomment when KT-9597 is fixed
+    // C().f(object : A<*, *> {})
+}