K2: reproduce a problem from intellij.vcs.git

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java

@@ -22894,6 +22894,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
         runTest("compiler/testData/diagnostics/tests/j+k/UnboxingNulls.kt");
       }
 
+      @Test
+      @TestMetadata("withTestConnection.kt")
+      public void testWithTestConnection() {
+        runTest("compiler/testData/diagnostics/tests/j+k/withTestConnection.kt");
+      }
+
       @Test
       @TestMetadata("wrongVarianceInJava.kt")
       public void testWrongVarianceInJava() {

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java

@@ -22894,6 +22894,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
         runTest("compiler/testData/diagnostics/tests/j+k/UnboxingNulls.kt");
       }
 
+      @Test
+      @TestMetadata("withTestConnection.kt")
+      public void testWithTestConnection() {
+        runTest("compiler/testData/diagnostics/tests/j+k/withTestConnection.kt");
+      }
+
       @Test
       @TestMetadata("wrongVarianceInJava.kt")
       public void testWrongVarianceInJava() {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -22888,6 +22888,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
         runTest("compiler/testData/diagnostics/tests/j+k/UnboxingNulls.kt");
       }
 
+      @Test
+      @TestMetadata("withTestConnection.kt")
+      public void testWithTestConnection() {
+        runTest("compiler/testData/diagnostics/tests/j+k/withTestConnection.kt");
+      }
+
       @Test
       @TestMetadata("wrongVarianceInJava.kt")
       public void testWrongVarianceInJava() {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -22894,6 +22894,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
         runTest("compiler/testData/diagnostics/tests/j+k/UnboxingNulls.kt");
       }
 
+      @Test
+      @TestMetadata("withTestConnection.kt")
+      public void testWithTestConnection() {
+        runTest("compiler/testData/diagnostics/tests/j+k/withTestConnection.kt");
+      }
+
       @Test
       @TestMetadata("wrongVarianceInJava.kt")
       public void testWrongVarianceInJava() {

compiler/testData/diagnostics/tests/j+k/withTestConnection.fir.kt

@@ -0,0 +1,35 @@
+// FULL_JDK
+// JVM_TARGET: 1.8
+
+// FILE: test.kt
+
+fun waitTestConnection(configurable: A) {
+    val res = configurable.test()
+    <!NEW_INFERENCE_ERROR!>C.wait(res!!.toFuture())<!>
+}
+
+// FILE: A.java
+
+import org.jetbrains.annotations.*;
+
+public interface A {
+    @Nullable B<?> test();
+}
+
+// FILE: B.kt
+
+import java.util.concurrent.CompletableFuture
+
+abstract class B<S> {
+    abstract fun toFuture(): CompletableFuture<S>
+}
+
+// FILE: C.java
+
+import java.util.concurrent.Future;
+
+public class C {
+    public static <F> F wait(Future<F> future) {
+        return null;
+    }
+}

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

@@ -0,0 +1,35 @@
+// FULL_JDK
+// JVM_TARGET: 1.8
+
+// FILE: test.kt
+
+fun waitTestConnection(configurable: A) {
+    val res = configurable.test()
+    C.wait(res!!.toFuture())
+}
+
+// FILE: A.java
+
+import org.jetbrains.annotations.*;
+
+public interface A {
+    @Nullable B<?> test();
+}
+
+// FILE: B.kt
+
+import java.util.concurrent.CompletableFuture
+
+abstract class B<S> {
+    abstract fun toFuture(): CompletableFuture<S>
+}
+
+// FILE: C.java
+
+import java.util.concurrent.Future;
+
+public class C {
+    public static <F> F wait(Future<F> future) {
+        return null;
+    }
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -22894,6 +22894,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
         runTest("compiler/testData/diagnostics/tests/j+k/UnboxingNulls.kt");
       }
 
+      @Test
+      @TestMetadata("withTestConnection.kt")
+      public void testWithTestConnection() {
+        runTest("compiler/testData/diagnostics/tests/j+k/withTestConnection.kt");
+      }
+
       @Test
       @TestMetadata("wrongVarianceInJava.kt")
       public void testWrongVarianceInJava() {