FE: add tests reproducing KT-57854

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

@@ -14882,6 +14882,18 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 runTest("compiler/testData/diagnostics/tests/inference/possibleCycleOnConstraints.kt");
             }
 
+            @Test
+            @TestMetadata("receiverTypeMismatch_withProper.kt")
+            public void testReceiverTypeMismatch_withProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.kt");
+            }
+
+            @Test
+            @TestMetadata("receiverTypeMismatch_withoutProper.kt")
+            public void testReceiverTypeMismatch_withoutProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.kt");
+            }
+
             @Test
             @TestMetadata("reportAboutUnresolvedReferenceAsUnresolved.kt")
             public void testReportAboutUnresolvedReferenceAsUnresolved() throws Exception {

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

@@ -14882,6 +14882,18 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 runTest("compiler/testData/diagnostics/tests/inference/possibleCycleOnConstraints.kt");
             }
 
+            @Test
+            @TestMetadata("receiverTypeMismatch_withProper.kt")
+            public void testReceiverTypeMismatch_withProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.kt");
+            }
+
+            @Test
+            @TestMetadata("receiverTypeMismatch_withoutProper.kt")
+            public void testReceiverTypeMismatch_withoutProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.kt");
+            }
+
             @Test
             @TestMetadata("reportAboutUnresolvedReferenceAsUnresolved.kt")
             public void testReportAboutUnresolvedReferenceAsUnresolved() throws Exception {

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

@@ -14882,6 +14882,18 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/tests/inference/possibleCycleOnConstraints.kt");
             }
 
+            @Test
+            @TestMetadata("receiverTypeMismatch_withProper.kt")
+            public void testReceiverTypeMismatch_withProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.kt");
+            }
+
+            @Test
+            @TestMetadata("receiverTypeMismatch_withoutProper.kt")
+            public void testReceiverTypeMismatch_withoutProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.kt");
+            }
+
             @Test
             @TestMetadata("reportAboutUnresolvedReferenceAsUnresolved.kt")
             public void testReportAboutUnresolvedReferenceAsUnresolved() throws Exception {

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

@@ -14888,6 +14888,18 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/tests/inference/possibleCycleOnConstraints.kt");
             }
 
+            @Test
+            @TestMetadata("receiverTypeMismatch_withProper.kt")
+            public void testReceiverTypeMismatch_withProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.kt");
+            }
+
+            @Test
+            @TestMetadata("receiverTypeMismatch_withoutProper.kt")
+            public void testReceiverTypeMismatch_withoutProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.kt");
+            }
+
             @Test
             @TestMetadata("reportAboutUnresolvedReferenceAsUnresolved.kt")
             public void testReportAboutUnresolvedReferenceAsUnresolved() throws Exception {

compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.fir.kt

@@ -0,0 +1,16 @@
+// LANGUAGE: +ProperTypeInferenceConstraintsProcessing
+
+// FILE: Configuration.java
+public class Configuration<S extends State<? extends Configuration<S>>> {
+    public String getDirectoryPath() { return ""; }
+}
+
+// FILE: State.java
+public class State<C extends Configuration<? extends State<C>>> {}
+
+// FILE: Main.kt
+fun setup(configuration: Configuration<*>) {
+    configuration.apply {
+        directoryPath
+    }
+}

compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.kt

@@ -0,0 +1,16 @@
+// LANGUAGE: +ProperTypeInferenceConstraintsProcessing
+
+// FILE: Configuration.java
+public class Configuration<S extends State<? extends Configuration<S>>> {
+    public String getDirectoryPath() { return ""; }
+}
+
+// FILE: State.java
+public class State<C extends Configuration<? extends State<C>>> {}
+
+// FILE: Main.kt
+fun setup(configuration: Configuration<*>) {
+    configuration.apply {
+        <!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>directoryPath<!>
+    }
+}

compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.fir.kt

@@ -0,0 +1,16 @@
+// LANGUAGE: -ProperTypeInferenceConstraintsProcessing
+
+// FILE: Configuration.java
+public class Configuration<S extends State<? extends Configuration<S>>> {
+    public String getDirectoryPath() { return ""; }
+}
+
+// FILE: State.java
+public class State<C extends Configuration<? extends State<C>>> {}
+
+// FILE: Main.kt
+fun setup(configuration: Configuration<*>) {
+    configuration.apply {
+        directoryPath
+    }
+}

compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.kt

@@ -0,0 +1,16 @@
+// LANGUAGE: -ProperTypeInferenceConstraintsProcessing
+
+// FILE: Configuration.java
+public class Configuration<S extends State<? extends Configuration<S>>> {
+    public String getDirectoryPath() { return ""; }
+}
+
+// FILE: State.java
+public class State<C extends Configuration<? extends State<C>>> {}
+
+// FILE: Main.kt
+fun setup(configuration: Configuration<*>) {
+    configuration.apply {
+        <!RECEIVER_TYPE_MISMATCH!>directoryPath<!>
+    }
+}

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

@@ -14888,6 +14888,18 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/inference/possibleCycleOnConstraints.kt");
             }
 
+            @Test
+            @TestMetadata("receiverTypeMismatch_withProper.kt")
+            public void testReceiverTypeMismatch_withProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withProper.kt");
+            }
+
+            @Test
+            @TestMetadata("receiverTypeMismatch_withoutProper.kt")
+            public void testReceiverTypeMismatch_withoutProper() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/receiverTypeMismatch_withoutProper.kt");
+            }
+
             @Test
             @TestMetadata("reportAboutUnresolvedReferenceAsUnresolved.kt")
             public void testReportAboutUnresolvedReferenceAsUnresolved() throws Exception {