[FIR] Add test for KT-43619

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

@@ -3143,6 +3143,12 @@ public class DiagnosisCompilerFirTestdataTestGenerated extends AbstractDiagnosis
                 runTest("compiler/fir/analysis-tests/testData/resolve/inference/nullableIntegerLiteralType.kt");
             }
 
+            @Test
+            @TestMetadata("overloadResolutionByLambdaArgumentType.kt")
+            public void testOverloadResolutionByLambdaArgumentType() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolve/inference/overloadResolutionByLambdaArgumentType.kt");
+            }
+
             @Test
             @TestMetadata("receiverWithCapturedType.kt")
             public void testReceiverWithCapturedType() throws Exception {

compiler/fir/analysis-tests/legacy-fir-tests/tests-gen/org/jetbrains/kotlin/fir/LazyBodyIsNotTouchedTilContractsPhaseTestGenerated.java

@@ -2757,6 +2757,11 @@ public class LazyBodyIsNotTouchedTilContractsPhaseTestGenerated extends Abstract
             runTest("compiler/fir/analysis-tests/testData/resolve/inference/nullableIntegerLiteralType.kt");
         }
 
+        @TestMetadata("overloadResolutionByLambdaArgumentType.kt")
+        public void testOverloadResolutionByLambdaArgumentType() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/inference/overloadResolutionByLambdaArgumentType.kt");
+        }
+
         @TestMetadata("receiverWithCapturedType.kt")
         public void testReceiverWithCapturedType() throws Exception {
             runTest("compiler/fir/analysis-tests/testData/resolve/inference/receiverWithCapturedType.kt");

compiler/fir/analysis-tests/testData/resolve/inference/overloadResolutionByLambdaArgumentType.fir.txt

@@ -0,0 +1,27 @@
+FILE: overloadResolutionByLambdaArgumentType.kt
+    public final class A<K> : R|kotlin/Any| {
+        public constructor<K>(): R|A<K>| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public final fun <K> R|A<K>|.foo(k: R|K|): R|K| {
+        ^foo R|<local>/k|
+    }
+    public final fun <K> R|A<K>|.foo(a: R|A<K>.() -> kotlin/Unit|): R|kotlin/Int| {
+        ^foo Int(2)
+    }
+    public final fun test(): R|kotlin/Unit| {
+        R|/A.A|<R|kotlin/Int|>().<Ambiguity: foo, [/foo, /foo]>#(<L> = foo@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown>  {
+            ^@foo Unit
+        }
+        )
+        R|/A.A|<R|kotlin/Int|>().R|/foo|<R|kotlin/Int|>(<L> = foo@fun R|A<kotlin/Int>|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+            ^@foo Unit
+        }
+        )
+        R|/A.A|<R|kotlin/Int|>().<Ambiguity: foo, [/foo, /foo]>#<R|kotlin/Any|>(<L> = foo@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown>  {
+            ^@foo Unit
+        }
+        )
+    }

compiler/fir/analysis-tests/testData/resolve/inference/overloadResolutionByLambdaArgumentType.kt

@@ -0,0 +1,11 @@
+// ISSUE: KT-43619
+
+class A<K>
+fun <K> A<K>.foo(k: K) = k // (1)
+fun <K> A<K>.foo(a: A<K>.() -> Unit) = 2 // (2)
+
+fun test(){
+    A<Int>().<!OVERLOAD_RESOLUTION_AMBIGUITY!>foo<!> {} // (1)
+    A<Int>().foo<Int> {} // (1)
+    A<Int>().<!NONE_APPLICABLE!>foo<!><Any> {} // error
+}

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

@@ -3143,6 +3143,12 @@ public class FirDiagnosticTestGenerated extends AbstractFirDiagnosticTest {
                 runTest("compiler/fir/analysis-tests/testData/resolve/inference/nullableIntegerLiteralType.kt");
             }
 
+            @Test
+            @TestMetadata("overloadResolutionByLambdaArgumentType.kt")
+            public void testOverloadResolutionByLambdaArgumentType() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolve/inference/overloadResolutionByLambdaArgumentType.kt");
+            }
+
             @Test
             @TestMetadata("receiverWithCapturedType.kt")
             public void testReceiverWithCapturedType() throws Exception {

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

@@ -3143,6 +3143,12 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
                 runTest("compiler/fir/analysis-tests/testData/resolve/inference/nullableIntegerLiteralType.kt");
             }
 
+            @Test
+            @TestMetadata("overloadResolutionByLambdaArgumentType.kt")
+            public void testOverloadResolutionByLambdaArgumentType() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolve/inference/overloadResolutionByLambdaArgumentType.kt");
+            }
+
             @Test
             @TestMetadata("receiverWithCapturedType.kt")
             public void testReceiverWithCapturedType() throws Exception {