K1/K2: add a group of BB test around primitives in Java

Related to KT-62554, KT-63242

compiler/testData/codegen/box/fir/primitivesInJava/primitiveDoubleJavaKotlinIntersection.kt

@@ -0,0 +1,27 @@
+// TARGET_BACKEND: JVM_IR
+// IGNORE_LIGHT_ANALYSIS
+// (Unresolved reference: B supertype in C declaration)
+// ISSUE: KT-63242
+// FILE: box.kt
+
+private open class C : A<Double?>, B, BImpl() {
+    override fun foo(d: Double?): String = "Fail: C"
+}
+
+fun box(): String =
+    C().foo(0.0)
+
+// FILE: A.java
+interface A<T> {
+    String foo(T value);
+}
+
+interface B {
+    String foo(double value);
+}
+
+class BImpl {
+    public String foo(double value) {
+        return "OK";
+    }
+}

compiler/testData/codegen/box/fir/primitivesInJava/triangleWithFlexibleType.kt

@@ -0,0 +1,21 @@
+// TARGET_BACKEND: JVM_IR
+// ISSUE: KT-62554
+// FILE: A.java
+
+public class A {
+    public String foo(Integer x) {
+        return "FAIL";
+    }
+}
+
+// FILE: main.kt
+
+interface B {
+    fun foo(x: Int) = "OK"
+}
+
+class C : A(), B
+
+fun box(): String {
+    return C().foo(42)
+}

compiler/testData/codegen/box/fir/primitivesInJava/triangleWithFlexibleTypeAndSubstitution.kt

@@ -0,0 +1,23 @@
+// TARGET_BACKEND: JVM_IR
+// ISSUE: KT-62554
+// FILE: A.java
+
+public class A<T> {
+    public T foo(Integer x) {
+        return null;
+    }
+}
+
+// FILE: main.kt
+
+interface B {
+    fun foo(x: Int) = "OK"
+}
+
+open class C : A<String>()
+
+class D : C(), B
+
+fun box(): String {
+    return D().foo(42)
+}

compiler/testData/codegen/box/fir/primitivesInJava/triangleWithFlexibleTypeAndSubstitution2.kt

@@ -0,0 +1,25 @@
+// TARGET_BACKEND: JVM_IR
+// ISSUE: KT-62554
+// FILE: A.java
+
+public class A<T> {
+    public String foo(T x) {
+        return "FAIL";
+    }
+}
+
+// FILE: C.java
+
+public class C extends A<Integer> {}
+
+// FILE: main.kt
+
+interface B {
+    fun foo(x: Int) = "OK"
+}
+
+class D : C(), B
+
+fun box(): String {
+    return D().foo(42)
+}

compiler/testData/codegen/box/fir/primitivesInJava/triangleWithFlexibleTypeAndSubstitution3.kt

@@ -0,0 +1,23 @@
+// TARGET_BACKEND: JVM_IR
+// ISSUE: KT-62554
+// FILE: A.java
+
+public class A<T> {
+    public String foo(T x) {
+        return "FAIL";
+    }
+}
+
+// FILE: main.kt
+
+interface B {
+    fun foo(x: Int) = "OK"
+}
+
+open class C : A<Int>()
+
+class D : C(), B
+
+fun box(): String {
+    return D().foo(42)
+}

compiler/testData/codegen/box/fir/primitivesInJava/triangleWithFlexibleTypeAndSubstitution5.kt

@@ -0,0 +1,23 @@
+// TARGET_BACKEND: JVM_IR
+// ISSUE: KT-62554
+// FILE: A.java
+
+public class A {
+    public String foo(Integer x) {
+        return "FAIL";
+    }
+}
+
+// FILE: main.kt
+
+interface B<T> {
+    fun foo(x: T) = "OK"
+}
+
+interface D : B<Int>
+
+class E : A(), D
+
+fun box(): String {
+    return E().foo(42)
+}

compiler/testData/codegen/box/fir/primitivesInJava/triangleWithNullableType.kt

@@ -0,0 +1,23 @@
+// TARGET_BACKEND: JVM_IR
+// ISSUE: KT-62554
+// FILE: A.java
+
+import org.jetbrains.annotations.*;
+
+public class A {
+    public String foo(@Nullable Integer x) {
+        return "FAIL";
+    }
+}
+
+// FILE: main.kt
+
+interface B {
+    fun foo(x: Int) = "OK"
+}
+
+class C : A(), B
+
+fun box(): String {
+    return C().foo(42)
+}