[Tests] Add regression test for #KT-64702

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

@@ -17814,6 +17814,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 public void testTopLevelCapturingInsideReturnType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/topLevelCapturingInsideReturnType.kt");
                 }
+
+                @Test
+                @TestMetadata("upperBoundOfCapturedInProjectionInOutPosition.kt")
+                public void testUpperBoundOfCapturedInProjectionInOutPosition() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.kt");
+                }
             }
 
             @Nested

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

@@ -17814,6 +17814,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 public void testTopLevelCapturingInsideReturnType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/topLevelCapturingInsideReturnType.kt");
                 }
+
+                @Test
+                @TestMetadata("upperBoundOfCapturedInProjectionInOutPosition.kt")
+                public void testUpperBoundOfCapturedInProjectionInOutPosition() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.kt");
+                }
             }
 
             @Nested

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

@@ -17808,6 +17808,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 public void testTopLevelCapturingInsideReturnType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/topLevelCapturingInsideReturnType.kt");
                 }
+
+                @Test
+                @TestMetadata("upperBoundOfCapturedInProjectionInOutPosition.kt")
+                public void testUpperBoundOfCapturedInProjectionInOutPosition() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.kt");
+                }
             }
 
             @Nested

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

@@ -17814,6 +17814,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 public void testTopLevelCapturingInsideReturnType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/topLevelCapturingInsideReturnType.kt");
                 }
+
+                @Test
+                @TestMetadata("upperBoundOfCapturedInProjectionInOutPosition.kt")
+                public void testUpperBoundOfCapturedInProjectionInOutPosition() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.kt");
+                }
             }
 
             @Nested

compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.fir.kt

@@ -0,0 +1,6 @@
+// ISSUE: KT-64702
+class Box<T : CharSequence>(var value: T)
+
+fun test(box: Box<in String>) {
+    box.value.length
+}

compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.kt

@@ -0,0 +1,6 @@
+// ISSUE: KT-64702
+class Box<T : CharSequence>(var value: T)
+
+fun test(box: Box<in String>) {
+    box.value.<!UNRESOLVED_REFERENCE!>length<!>
+}

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

@@ -17814,6 +17814,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 public void testTopLevelCapturingInsideReturnType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/topLevelCapturingInsideReturnType.kt");
                 }
+
+                @Test
+                @TestMetadata("upperBoundOfCapturedInProjectionInOutPosition.kt")
+                public void testUpperBoundOfCapturedInProjectionInOutPosition() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/upperBoundOfCapturedInProjectionInOutPosition.kt");
+                }
             }
 
             @Nested