[FE] Add regression test for KT-57036

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

@@ -31442,6 +31442,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 runTest("compiler/testData/diagnostics/tests/subtyping/javaAndKotlinSuperType.kt");
             }
 
+            @Test
+            @TestMetadata("kFunctionalCST.kt")
+            public void testKFunctionalCST() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.kt");
+            }
+
             @Test
             @TestMetadata("kt2069.kt")
             public void testKt2069() throws Exception {

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

@@ -31442,6 +31442,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 runTest("compiler/testData/diagnostics/tests/subtyping/javaAndKotlinSuperType.kt");
             }
 
+            @Test
+            @TestMetadata("kFunctionalCST.kt")
+            public void testKFunctionalCST() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.kt");
+            }
+
             @Test
             @TestMetadata("kt2069.kt")
             public void testKt2069() throws Exception {

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

@@ -31442,6 +31442,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/tests/subtyping/javaAndKotlinSuperType.kt");
             }
 
+            @Test
+            @TestMetadata("kFunctionalCST.kt")
+            public void testKFunctionalCST() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.kt");
+            }
+
             @Test
             @TestMetadata("kt2069.kt")
             public void testKt2069() throws Exception {

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

@@ -31538,6 +31538,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/tests/subtyping/javaAndKotlinSuperType.kt");
             }
 
+            @Test
+            @TestMetadata("kFunctionalCST.kt")
+            public void testKFunctionalCST() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.kt");
+            }
+
             @Test
             @TestMetadata("kt2069.kt")
             public void testKt2069() throws Exception {

compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.fir.kt

@@ -0,0 +1,27 @@
+// INFERENCE_HELPERS
+// ISSUE: KT-57036
+
+abstract class Base(block: String.() -> Int)
+class A(block: String.() -> Int) : Base(block)
+class B(block: String.() -> Int) : Base(block)
+
+fun test_1() {
+    val c = select(::A, ::B)
+    c { length }
+    c { <!UNRESOLVED_REFERENCE!>it<!>.length }
+}
+
+fun test_2(cond: Boolean) {
+    val c = if (cond) ::A else ::B
+    c { length }
+    c { <!UNRESOLVED_REFERENCE!>it<!>.length }
+}
+
+fun test_3(cond: Boolean) {
+    val c = when(cond) {
+        true -> ::A
+        false -> ::B
+    }
+    c { length }
+    c { <!UNRESOLVED_REFERENCE!>it<!>.length }
+}

compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.kt

@@ -0,0 +1,27 @@
+// INFERENCE_HELPERS
+// ISSUE: KT-57036
+
+abstract class Base(block: String.() -> Int)
+class A(block: String.() -> Int) : Base(block)
+class B(block: String.() -> Int) : Base(block)
+
+fun test_1() {
+    val c = select(::A, ::B)
+    c <!TYPE_MISMATCH!>{ <!UNRESOLVED_REFERENCE!>length<!> }<!>
+    c { it.length }
+}
+
+fun test_2(cond: Boolean) {
+    val c = if (cond) ::A else ::B
+    c <!TYPE_MISMATCH!>{ <!UNRESOLVED_REFERENCE!>length<!> }<!>
+    c { it.length }
+}
+
+fun test_3(cond: Boolean) {
+    val c = when(cond) {
+        true -> ::A
+        false -> ::B
+    }
+    c <!TYPE_MISMATCH!>{ <!UNRESOLVED_REFERENCE!>length<!> }<!>
+    c { it.length }
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -32280,6 +32280,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/subtyping/javaAndKotlinSuperType.kt");
             }
 
+            @Test
+            @TestMetadata("kFunctionalCST.kt")
+            public void testKFunctionalCST() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/subtyping/kFunctionalCST.kt");
+            }
+
             @Test
             @TestMetadata("kt2069.kt")
             public void testKt2069() throws Exception {