[Test] Move some builder inference tests from codegen to diagnostics

^KT-56169
2023-01-25 10:50:58 +02:00
parent 88efa6bfb6
commit 2fddb15539
9 changed files with 150 additions and 39 deletions
@@ -0,0 +1,64 @@
+// !LANGUAGE: +UnrestrictedBuilderInference
+// SKIP_TXT
+
+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("")
+                    }
+                }
+            }
+        }
+    }
+}
@@ -0,0 +1,64 @@
+// !LANGUAGE: +UnrestrictedBuilderInference
+// SKIP_TXT
+
+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 <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>lazy<!>(LazyThreadSafetyMode.NONE) {
+        @OptIn(ExperimentalStdlibApi::class)
+        <!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 (<!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("")
+                    }
+                }
+            }
+        }
+    }
+}
@@ -0,0 +1,10 @@
+// WITH_STDLIB
+// SKIP_TXT
+
+fun box(): String {
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> {
+        val foo = { first() }
+        add(0, foo)
+    }
+    return "OK"
+}
@@ -0,0 +1,10 @@
+// WITH_STDLIB
+// SKIP_TXT
+
+fun box(): String {
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> {
+        val foo = { first() }
+        add(0, <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>foo<!>)
+    }
+    return "OK"
+}