FIR: enhance Java type parameter bounds

This also fixes handling of self-recursive types.

TODO: fix jspecify/{strict,warn}Mode/Captured.fir.kt

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Captured.fir.kt

@@ -0,0 +1,17 @@
+// JSPECIFY_STATE: strict
+// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
+// FILE: J1.java
+import org.jetbrains.annotations.Nullable;
+
+public interface J1<T> {
+    @Nullable
+    public static <T> T foo(J1<T> x) { return null; }
+}
+
+// FILE: J2.java
+import org.jspecify.nullness.Nullable;
+
+public interface J2<V extends @Nullable Object> extends J1<V> { }
+
+// FILE: kotlin.kt
+private fun J2<*>.bar() = <!NEW_INFERENCE_ERROR!>J1.foo(this)<!>

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Captured.kt

@@ -1,4 +1,3 @@
-// FIR_IDENTICAL
 // JSPECIFY_STATE: strict
 // !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
 // FILE: J1.java

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt

@@ -1,27 +0,0 @@
-// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated +TypeEnhancementImprovementsInStrictMode
-// JSPECIFY_STATE: strict
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: NonPlatformTypeParameter.java
-import org.jspecify.nullness.*;
-
-public class NonPlatformTypeParameter<T extends @Nullable Object> {
-    public void foo(T t) {}
-    public <E extends @Nullable Object> void bar(E e) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun <T : Test> main(a1: NonPlatformTypeParameter<Any?>, a2: NonPlatformTypeParameter<Test>, x: T): Unit {
-    a1.foo(null)
-    a1.bar<Test?>(null)
-    a1.bar<T>(null)
-    a1.bar<T>(x)
-
-    a2.foo(null)
-    a2.bar<Test?>(null)
-    a2.bar<T>(null)
-    a2.bar<T>(x)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated +TypeEnhancementImprovementsInStrictMode
 // JSPECIFY_STATE: strict
 // MUTE_FOR_PSI_CLASS_FILES_READING

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NullnessUnspecifiedTypeParameter.fir.kt

@@ -14,16 +14,19 @@ public class NullnessUnspecifiedTypeParameter<T> {
 public class Test {}
 
 // FILE: main.kt
-fun main(a1: NullnessUnspecifiedTypeParameter<Any>, a2: NullnessUnspecifiedTypeParameter<Any?>, x: Test): Unit {
-    a1.foo(null)
+// jspecify_nullness_mismatch
+fun main(a1: NullnessUnspecifiedTypeParameter<Any>, a2: NullnessUnspecifiedTypeParameter<<!UPPER_BOUND_VIOLATED!>Any?<!>>, x: Test): Unit {
+    // jspecify_nullness_mismatch
+    a1.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
     a1.foo(1)
 
     a2.foo(null)
     a2.foo(1)
 
+    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
+    a1.bar(<!NULL_FOR_NONNULL_TYPE!>null<!>, <!NULL_FOR_NONNULL_TYPE!>null<!>)
     // jspecify_nullness_mismatch
-    a1.bar(<!NULL_FOR_NONNULL_TYPE!>null<!>, null)
-    a1.bar(x, null)
+    a1.bar(x, <!NULL_FOR_NONNULL_TYPE!>null<!>)
     a1.bar(x, 1)
 
     // jspecify_nullness_mismatch

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeParameterBounds.fir.kt

@@ -21,20 +21,26 @@ public class B<T> {
 public class Test {}
 
 // FILE: main.kt
-fun <T : Test> main(a1: A<Any?>, a2: A<Test>, b1: B<Any?>, b2: B<Test>, x: T): Unit {
+// jspecify_nullness_mismatch, jspecify_nullness_mismatch
+fun <T : Test> main(a1: A<<!UPPER_BOUND_VIOLATED!>Any?<!>>, a2: A<Test>, b1: B<<!UPPER_BOUND_VIOLATED!>Any?<!>>, b2: B<Test>, x: T): Unit {
     a1.foo(null)
-    a1.bar<T?>(null)
+    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
+    a1.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
     a1.bar<T>(x)
 
     a2.foo(null)
-    a2.bar<T?>(null)
+    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
+    a2.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
     a2.bar<T>(x)
 
     b1.foo(null)
-    b1.bar<T?>(null)
+    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
+    b1.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
     b1.bar<T>(x)
 
-    b2.foo(null)
-    b2.bar<T?>(null)
+    // jspecify_nullness_mismatch
+    b2.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
+    b2.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
     b2.bar<T>(x)
 }

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47422.fir.kt

@@ -99,7 +99,8 @@ fun test3() {
     // String in Foo is not null
     isNotNullAndNullableStringInFoo(
         UtilNullMarkedGeneric.getFooOfK(),
-        UtilNullMarkedGeneric.getFooOfK()
+        // jspecify_nullness_mismatch
+        <!ARGUMENT_TYPE_MISMATCH!>UtilNullMarkedGeneric.getFooOfK()<!>
     )
 }
 

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47437.fir.kt

@@ -14,5 +14,5 @@ public class Foo<T extends @Nullable Object> {
 
 // FILE: main.kt
 fun test(): Foo<String> {
-    return <!DEBUG_INFO_EXPRESSION_TYPE("Foo<kotlin.String..kotlin.String?!>")!>Foo.create()<!>
+    return <!DEBUG_INFO_EXPRESSION_TYPE("Foo<kotlin.String>")!>Foo.create()<!>
 }