K1/K2: add test for Future.get case

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

@@ -22330,6 +22330,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
         runTest("compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt");
       }
 
+      @Test
+      @TestMetadata("futureGet.kt")
+      public void testFutureGet() {
+        runTest("compiler/testData/diagnostics/tests/j+k/futureGet.kt");
+      }
+
       @Test
       @TestMetadata("genericConstructorWithMultipleBounds.kt")
       public void testGenericConstructorWithMultipleBounds() {

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

@@ -22330,6 +22330,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
         runTest("compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt");
       }
 
+      @Test
+      @TestMetadata("futureGet.kt")
+      public void testFutureGet() {
+        runTest("compiler/testData/diagnostics/tests/j+k/futureGet.kt");
+      }
+
       @Test
       @TestMetadata("genericConstructorWithMultipleBounds.kt")
       public void testGenericConstructorWithMultipleBounds() {

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

@@ -22324,6 +22324,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
         runTest("compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt");
       }
 
+      @Test
+      @TestMetadata("futureGet.kt")
+      public void testFutureGet() {
+        runTest("compiler/testData/diagnostics/tests/j+k/futureGet.kt");
+      }
+
       @Test
       @TestMetadata("genericConstructorWithMultipleBounds.kt")
       public void testGenericConstructorWithMultipleBounds() {

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

@@ -22330,6 +22330,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
         runTest("compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt");
       }
 
+      @Test
+      @TestMetadata("futureGet.kt")
+      public void testFutureGet() {
+        runTest("compiler/testData/diagnostics/tests/j+k/futureGet.kt");
+      }
+
       @Test
       @TestMetadata("genericConstructorWithMultipleBounds.kt")
       public void testGenericConstructorWithMultipleBounds() {

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

@@ -0,0 +1,18 @@
+// FIR_IDENTICAL
+// FULL_JDK
+// JVM_TARGET: 1.8
+
+import java.util.concurrent.Future
+import java.util.concurrent.atomic.AtomicReference
+
+fun foo(future: Future<String?>) {
+    future.get()<!UNSAFE_CALL!>.<!>length
+}
+
+fun bar(threadLocal: ThreadLocal<String?>) {
+    threadLocal.get()<!UNSAFE_CALL!>.<!>length
+}
+
+fun baz(ref: AtomicReference<String?>) {
+    ref.get()<!UNSAFE_CALL!>.<!>length
+}

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

@@ -22330,6 +22330,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
         runTest("compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt");
       }
 
+      @Test
+      @TestMetadata("futureGet.kt")
+      public void testFutureGet() {
+        runTest("compiler/testData/diagnostics/tests/j+k/futureGet.kt");
+      }
+
       @Test
       @TestMetadata("genericConstructorWithMultipleBounds.kt")
       public void testGenericConstructorWithMultipleBounds() {