From 06deaed3d571a6e85c0cbd76bcbac5457a0b2ae3 Mon Sep 17 00:00:00 2001
From: Victor Petukhov <victor.petukhov@jetbrains.com>
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 55dc1bd897f..859c4566e81 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
@@ -14237,6 +14237,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                     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 95440e69295..fdecbc497c5 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
@@ -14237,6 +14237,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                     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 373a5aefeae..54f535b8fd9 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
@@ -14237,6 +14237,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                     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 00000000000..52dce7614f0
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.kt
@@ -0,0 +1,11 @@
+// FIR_IDENTICAL
+fun <T, R> baz(body: (List<R>) -> T): T = TODO()
+
+fun test3() {
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>baz<!> {
+        true
+    }
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>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 00000000000..73261fde6f3
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt50498.txt
@@ -0,0 +1,4 @@
+package
+
+public fun </*0*/ T, /*1*/ R> baz(/*0*/ body: (kotlin.collections.List<R>) -> 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 1de38fb3d86..3afa193512b 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
@@ -14243,6 +14243,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                     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 {