From 1df9fea542228403103e8e996a9028368742a05f Mon Sep 17 00:00:00 2001 From: Victor Petukhov Date: Wed, 9 Feb 2022 11:36:10 +0300 Subject: [PATCH] Add test for KT-50498 --- ...iagnosisCompilerTestFE10TestdataTestGenerated.java | 6 ++++++ .../FirOldFrontendDiagnosticsTestGenerated.java | 6 ++++++ ...FrontendDiagnosticsWithLightTreeTestGenerated.java | 6 ++++++ .../tests/inference/builderInference/kt50498.kt | 11 +++++++++++ .../tests/inference/builderInference/kt50498.txt | 4 ++++ .../kotlin/test/runners/DiagnosticTestGenerated.java | 6 ++++++ 6 files changed, 39 insertions(+) create mode 100644 compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt create mode 100644 compiler/testData/diagnostics/tests/inference/builderInference/kt50498.txt diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java index 95332a45b8c0a..31cc0a787862f 100644 --- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java +++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java @@ -14167,6 +14167,12 @@ public void testKt49829() throws Exception { runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt49829.kt"); } + @Test + @TestMetadata("kt50498.kt") + public void testKt50498() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt"); + } + @Test @TestMetadata("kt50989.kt") public void testKt50989() throws Exception { diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java index f5742f7d98bbe..a577201fd513d 100644 --- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java +++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java @@ -14167,6 +14167,12 @@ public void testKt49829() throws Exception { runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt49829.kt"); } + @Test + @TestMetadata("kt50498.kt") + public void testKt50498() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt"); + } + @Test @TestMetadata("kt50989.kt") public void testKt50989() throws Exception { diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java index 43eab9339b31f..ea81815ade95f 100644 --- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java +++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java @@ -14167,6 +14167,12 @@ public void testKt49829() throws Exception { runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt49829.kt"); } + @Test + @TestMetadata("kt50498.kt") + public void testKt50498() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt"); + } + @Test @TestMetadata("kt50989.kt") public void testKt50989() throws Exception { diff --git a/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt b/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt new file mode 100644 index 0000000000000..52dce7614f00b --- /dev/null +++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt @@ -0,0 +1,11 @@ +// FIR_IDENTICAL +fun baz(body: (List) -> T): T = TODO() + +fun test3() { + baz { + true + } + baz { x -> + true + } +} \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.txt b/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.txt new file mode 100644 index 0000000000000..73261fde6f3cc --- /dev/null +++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.txt @@ -0,0 +1,4 @@ +package + +public fun baz(/*0*/ body: (kotlin.collections.List) -> T): T +public fun test3(): kotlin.Unit diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java index 28aa2128c9fa3..be04dc1085933 100644 --- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java +++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java @@ -14173,6 +14173,12 @@ public void testKt49829() throws Exception { runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt49829.kt"); } + @Test + @TestMetadata("kt50498.kt") + public void testKt50498() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt"); + } + @Test @TestMetadata("kt50989.kt") public void testKt50989() throws Exception {