K1/K2: add reproducers for KT-66229, KT-66243 and KT-66272

As all these issues aren't reproducible in K2, we may count them as fixed.
Related to KT-53478
#KT-66229 Fixed
#KT-66243 Fixed
#KT-66272 Fixed
This commit is contained in:
Mikhail Glukhikh
2024-03-01 15:16:27 +01:00
committed by Space Team
parent b43f69364b
commit 5ea6f20192
32 changed files with 596 additions and 0 deletions
@@ -4270,6 +4270,24 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
public void testKt64222() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3874,6 +3874,24 @@ public class LLFirBlackBoxCodegenBasedTestGenerated extends AbstractLLFirBlackBo
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -4270,6 +4270,24 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
public void testKt64222() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3874,6 +3874,24 @@ public class LLFirReversedBlackBoxCodegenBasedTestGenerated extends AbstractLLFi
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -4264,6 +4264,24 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
public void testKt64222() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -4270,6 +4270,24 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
public void testKt64222() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class FirLightTreeBlackBoxCodegenTestGenerated extends AbstractFirLightTr
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class FirLightTreeBlackBoxCodegenWithFir2IrFakeOverrideGeneratorTestGener
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class FirPsiBlackBoxCodegenTestGenerated extends AbstractFirPsiBlackBoxCo
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -0,0 +1,24 @@
// WITH_STDLIB
// ISSUE: KT-66229
// IGNORE_BACKEND_K1: ANY
// Reason: Could not load module <Error module>
fun foo() {
buildMap {
for (v in this) {
put(1, 1)
}
}
}
fun bar() {
buildMap {
mapValues { (key: Int, value: String) -> "1" }
}
}
fun box(): String {
foo()
bar()
return "OK"
}
@@ -0,0 +1,25 @@
// ISSUE: KT-66243
// IGNORE_BACKEND_K1: ANY
// Reason: Could not load module <Error module>
class A<T>
class Test<T> {
fun add(a: T) {}
var lambdaInVariable: ((A<T>) -> Unit)? = null
}
fun <T> builder(x: Test<T>.() -> Unit): Test<T> {
return Test<T>().apply(x)
}
fun check() {
val x = builder {
add(1)
lambdaInVariable = {}
}
}
fun box(): String {
check()
return "OK"
}
@@ -0,0 +1,25 @@
// FIR_IDENTICAL
// ISSUE: KT-66272
// IGNORE_BACKEND_K1: JVM_IR, JS_IR, JS_IR_ES6, WASM, NATIVE
// Reason: Could not load module <Error module>
data class DataClass(val data: String)
fun box(): String {
A.create {
it.group().apply(it, ::DataClass)
}
return "OK"
}
open class A<O, F> {
open fun group(): A<F, String> {
return null!!
}
fun <R> apply(instance: A<O, *>, function: (F) -> R): A<O, R> {
return null!!
}
companion object {
fun <T> create(a: (A<T, T>) -> A<T, T>) {}
}
}
@@ -0,0 +1,17 @@
// FIR_IDENTICAL
// WITH_STDLIB
// ISSUE: KT-66229
fun foo() {
buildMap {
for (v in this) {
put(1, 1)
}
}
}
fun bar() {
buildMap {
mapValues { (key: Int, value: String) -> "1" }
}
}
@@ -0,0 +1,19 @@
// FIR_IDENTICAL
// ISSUE: KT-66243
class A<T>
class Test<T> {
fun add(a: T) {}
var lambdaInVariable: ((A<T>) -> Unit)? = null
}
fun <T> builder(x: Test<T>.() -> Unit): Test<T> {
return Test<T>().apply(x)
}
fun check() {
val x = builder {
add(1)
lambdaInVariable = {}
}
}
@@ -0,0 +1,21 @@
// FIR_IDENTICAL
// ISSUE: KT-66272
data class DataClass(val data: String)
fun test() {
A.create {
it.group().apply(it, ::DataClass)
}
}
open class A<O, F> {
open fun group(): A<F, String> {
return null!!
}
fun <R> apply(instance: A<O, *>, function: (F) -> R): A<O, R> {
return null!!
}
companion object {
fun <T> create(a: (A<T, T>) -> A<T, T>) {}
}
}
@@ -4270,6 +4270,24 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
public void testKt64222() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class JvmAbiConsistencyTestBoxGenerated extends AbstractJvmAbiConsistency
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3659,6 +3659,24 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class IrBlackBoxCodegenWithIrInlinerTestGenerated extends AbstractIrBlack
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3857,6 +3857,24 @@ public class FirBlackBoxCodegenTestWithInlineScopesGenerated extends AbstractFir
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3087,6 +3087,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
@TestDataPath("$PROJECT_ROOT")
@RunWith(JUnit3RunnerWithInners.class)
public static class Issues extends AbstractLightAnalysisModeTest {
@TestMetadata("kt66272.kt")
public void ignoreKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
private void runTest(String testDataFilePath) {
KotlinTestUtils.runTest(this::doTest, TargetBackend.JVM_IR, testDataFilePath);
}
@@ -3349,6 +3354,16 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
}
@TestMetadata("compiler/testData/codegen/box/builderInference/oneParameter")
@@ -2939,6 +2939,24 @@ public class FirJsCodegenBoxTestGenerated extends AbstractFirJsCodegenBoxTest {
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -2939,6 +2939,24 @@ public class FirJsES6CodegenBoxTestGenerated extends AbstractFirJsES6CodegenBoxT
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -2939,6 +2939,24 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -2939,6 +2939,24 @@ public class IrJsES6CodegenBoxTestGenerated extends AbstractIrJsES6CodegenBoxTes
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3016,6 +3016,24 @@ public class FirNativeCodegenBoxTestGenerated extends AbstractNativeCodegenBoxTe
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3074,6 +3074,24 @@ public class FirNativeCodegenBoxTestNoPLGenerated extends AbstractNativeCodegenB
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -2958,6 +2958,24 @@ public class NativeCodegenBoxTestGenerated extends AbstractNativeCodegenBoxTest
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -3017,6 +3017,24 @@ public class NativeCodegenBoxTestNoPLGenerated extends AbstractNativeCodegenBoxT
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -2927,6 +2927,24 @@ public class FirWasmJsCodegenBoxTestGenerated extends AbstractFirWasmJsCodegenBo
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested
@@ -2927,6 +2927,24 @@ public class K1WasmCodegenBoxTestGenerated extends AbstractK1WasmCodegenBoxTest
public void testKt64066() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt64066.kt");
}
@Test
@TestMetadata("kt66229.kt")
public void testKt66229() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66229.kt");
}
@Test
@TestMetadata("kt66243.kt")
public void testKt66243() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66243.kt");
}
@Test
@TestMetadata("kt66272.kt")
public void testKt66272() {
runTest("compiler/testData/codegen/box/builderInference/issues/kt66272.kt");
}
}
@Nested