[Tests] Add test for #KT-65712

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

@@ -18047,6 +18047,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypesSubstitutionIntoAbbreviation.kt");
                 }
 
+                @Test
+                @TestMetadata("capturedUpperBound.kt")
+                public void testCapturedUpperBound() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedUpperBound.kt");
+                }
+
                 @Test
                 @TestMetadata("capturingFromArgumentOfFlexibleType.kt")
                 public void testCapturingFromArgumentOfFlexibleType() throws Exception {

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

@@ -18047,6 +18047,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypesSubstitutionIntoAbbreviation.kt");
                 }
 
+                @Test
+                @TestMetadata("capturedUpperBound.kt")
+                public void testCapturedUpperBound() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedUpperBound.kt");
+                }
+
                 @Test
                 @TestMetadata("capturingFromArgumentOfFlexibleType.kt")
                 public void testCapturingFromArgumentOfFlexibleType() throws Exception {

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

@@ -18041,6 +18041,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypesSubstitutionIntoAbbreviation.kt");
                 }
 
+                @Test
+                @TestMetadata("capturedUpperBound.kt")
+                public void testCapturedUpperBound() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedUpperBound.kt");
+                }
+
                 @Test
                 @TestMetadata("capturingFromArgumentOfFlexibleType.kt")
                 public void testCapturingFromArgumentOfFlexibleType() throws Exception {

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

@@ -18047,6 +18047,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypesSubstitutionIntoAbbreviation.kt");
                 }
 
+                @Test
+                @TestMetadata("capturedUpperBound.kt")
+                public void testCapturedUpperBound() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedUpperBound.kt");
+                }
+
                 @Test
                 @TestMetadata("capturingFromArgumentOfFlexibleType.kt")
                 public void testCapturingFromArgumentOfFlexibleType() throws Exception {

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

@@ -0,0 +1,11 @@
+// ISSUE: KT-65712
+
+fun test(a: BodySpec<List<*>, *>) {
+    a.value<<!UPPER_BOUND_VIOLATED!>BodySpec<List<*>, *><!>>()
+    a.value<<!UPPER_BOUND_VIOLATED!>BodySpec<*, *><!>>()
+    a.value<<!UPPER_BOUND_VIOLATED!>BodySpec<Int, *><!>>()
+}
+
+interface BodySpec<B, S : BodySpec<B, S>> {
+    fun <T : S> value(): T
+}

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

@@ -0,0 +1,11 @@
+// ISSUE: KT-65712
+
+fun test(a: BodySpec<List<*>, *>) {
+    a.value<BodySpec<List<*>, *>>()
+    a.value<BodySpec<*, *>>()
+    a.value<BodySpec<Int, *>>()
+}
+
+interface BodySpec<B, S : BodySpec<B, S>> {
+    fun <T : S> value(): T
+}

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

@@ -18047,6 +18047,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypesSubstitutionIntoAbbreviation.kt");
                 }
 
+                @Test
+                @TestMetadata("capturedUpperBound.kt")
+                public void testCapturedUpperBound() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedUpperBound.kt");
+                }
+
                 @Test
                 @TestMetadata("capturingFromArgumentOfFlexibleType.kt")
                 public void testCapturingFromArgumentOfFlexibleType() throws Exception {