FE: split one more test "buildList type argument is inferred into upper bound"

Related to KT-48445, KT-56169

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

@@ -36948,6 +36948,18 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazy.kt")
+            public void testBuildListToUpperBoundInLazy() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.kt");
+            }
+
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazyForbidden.kt")
+            public void testBuildListToUpperBoundInLazyForbidden() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazyForbidden.kt");
+            }
+
             @Test
             @TestMetadata("completeIrrelevantCalls.kt")
             public void testCompleteIrrelevantCalls() throws Exception {
@@ -36972,12 +36984,6 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/inferCoroutineTypeInOldVersion.kt");
             }
 
-            @Test
-            @TestMetadata("kt48445.kt")
-            public void testKt48445() throws Exception {
-                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
-            }
-
             @Test
             @TestMetadata("resolveUsualCallWithBuilderInference.kt")
             public void testResolveUsualCallWithBuilderInference() throws Exception {

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

@@ -36948,6 +36948,18 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazy.kt")
+            public void testBuildListToUpperBoundInLazy() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.kt");
+            }
+
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazyForbidden.kt")
+            public void testBuildListToUpperBoundInLazyForbidden() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazyForbidden.kt");
+            }
+
             @Test
             @TestMetadata("completeIrrelevantCalls.kt")
             public void testCompleteIrrelevantCalls() throws Exception {
@@ -36972,12 +36984,6 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/inferCoroutineTypeInOldVersion.kt");
             }
 
-            @Test
-            @TestMetadata("kt48445.kt")
-            public void testKt48445() throws Exception {
-                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
-            }
-
             @Test
             @TestMetadata("resolveUsualCallWithBuilderInference.kt")
             public void testResolveUsualCallWithBuilderInference() throws Exception {

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

@@ -37044,6 +37044,18 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazy.kt")
+            public void testBuildListToUpperBoundInLazy() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.kt");
+            }
+
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazyForbidden.kt")
+            public void testBuildListToUpperBoundInLazyForbidden() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazyForbidden.kt");
+            }
+
             @Test
             @TestMetadata("completeIrrelevantCalls.kt")
             public void testCompleteIrrelevantCalls() throws Exception {
@@ -37068,12 +37080,6 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/inferCoroutineTypeInOldVersion.kt");
             }
 
-            @Test
-            @TestMetadata("kt48445.kt")
-            public void testKt48445() throws Exception {
-                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
-            }
-
             @Test
             @TestMetadata("resolveUsualCallWithBuilderInference.kt")
             public void testResolveUsualCallWithBuilderInference() throws Exception {

compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.fir.kt

@@ -0,0 +1,64 @@
+// !LANGUAGE: +UnrestrictedBuilderInference -ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
+// ISSUE: KT-48445
+
+internal class TowerDataElementsForName() {
+    val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+        @OptIn(ExperimentalStdlibApi::class)
+        buildList {
+            for (i in lastIndex downTo 0) {
+                add("")
+            }
+        }
+    }
+}
+
+internal class TowerDataElementsForName2() {
+    @OptIn(ExperimentalStdlibApi::class)
+    val reversedFilteredLocalScopes = buildList {
+        val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+            @OptIn(ExperimentalStdlibApi::class)
+            buildList {
+                for (i in lastIndex downTo 0) {
+                    add("")
+                }
+            }
+        }
+        add(reversedFilteredLocalScopes)
+    }
+}
+
+internal class TowerDataElementsForName3() {
+    val reversedFilteredLocalScopes by <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>lazy<!>(LazyThreadSafetyMode.NONE) {
+        @OptIn(ExperimentalStdlibApi::class)
+        <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> l1@ {
+            for (i in lastIndex downTo 0) {
+                val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+                    @OptIn(ExperimentalStdlibApi::class)
+                    buildList {
+                        for (i in lastIndex downTo 0) {
+                        add("")
+                        this@l1.add("")
+                    }
+                    }
+                }
+            }
+        }
+    }
+}
+
+internal class TowerDataElementsForName4() {
+    @OptIn(ExperimentalStdlibApi::class)
+    val reversedFilteredLocalScopes = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> l1@ {
+        class Foo {
+            val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+                @OptIn(ExperimentalStdlibApi::class)
+                buildList {
+                    for (i in lastIndex downTo 0) {
+                        add("")
+                        this@l1.add("")
+                    }
+                }
+            }
+        }
+    }
+}

compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.kt

@@ -0,0 +1,64 @@
+// !LANGUAGE: +UnrestrictedBuilderInference -ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
+// ISSUE: KT-48445
+
+internal class TowerDataElementsForName() {
+    val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+        @OptIn(ExperimentalStdlibApi::class)
+        buildList {
+            for (i in lastIndex downTo 0) {
+                add("")
+            }
+        }
+    }
+}
+
+internal class TowerDataElementsForName2() {
+    @OptIn(ExperimentalStdlibApi::class)
+    val reversedFilteredLocalScopes = buildList {
+        val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+            @OptIn(ExperimentalStdlibApi::class)
+            buildList {
+                for (i in lastIndex downTo 0) {
+                    add("")
+                }
+            }
+        }
+        add(reversedFilteredLocalScopes)
+    }
+}
+
+internal class TowerDataElementsForName3() {
+    val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+        @OptIn(ExperimentalStdlibApi::class)
+        buildList l1@ {
+            for (i in lastIndex downTo 0) {
+                val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+                    @OptIn(ExperimentalStdlibApi::class)
+                    buildList {
+                        for (<!NAME_SHADOWING!>i<!> in lastIndex downTo 0) {
+                        add("")
+                        this@l1.add("")
+                    }
+                    }
+                }
+            }
+        }
+    }
+}
+
+internal class TowerDataElementsForName4() {
+    @OptIn(ExperimentalStdlibApi::class)
+    val reversedFilteredLocalScopes = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> l1@ {
+        class Foo {
+            val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {
+                @OptIn(ExperimentalStdlibApi::class)
+                buildList {
+                    for (i in lastIndex downTo 0) {
+                        add("")
+                        this@l1.add("")
+                    }
+                }
+            }
+        }
+    }
+}

compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazyForbidden.fir.kt

@@ -1,5 +1,5 @@
-// !LANGUAGE: +UnrestrictedBuilderInference
+// !LANGUAGE: +UnrestrictedBuilderInference +ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
-// SKIP_TXT
+// ISSUE: KT-56169
 
 internal class TowerDataElementsForName() {
     val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {

compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazyForbidden.kt

@@ -1,5 +1,5 @@
-// !LANGUAGE: +UnrestrictedBuilderInference
+// !LANGUAGE: +UnrestrictedBuilderInference +ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
-// SKIP_TXT
+// ISSUE: KT-56169
 
 internal class TowerDataElementsForName() {
     val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) {

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

@@ -37044,6 +37044,18 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazy.kt")
+            public void testBuildListToUpperBoundInLazy() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.kt");
+            }
+
+            @Test
+            @TestMetadata("buildListToUpperBoundInLazyForbidden.kt")
+            public void testBuildListToUpperBoundInLazyForbidden() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazyForbidden.kt");
+            }
+
             @Test
             @TestMetadata("completeIrrelevantCalls.kt")
             public void testCompleteIrrelevantCalls() throws Exception {
@@ -37068,12 +37080,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/inferCoroutineTypeInOldVersion.kt");
             }
 
-            @Test
-            @TestMetadata("kt48445.kt")
-            public void testKt48445() throws Exception {
-                runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
-            }
-
             @Test
             @TestMetadata("resolveUsualCallWithBuilderInference.kt")
             public void testResolveUsualCallWithBuilderInference() throws Exception {