K2: Add test reproducing KT-64222

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

@@ -4086,6 +4086,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 public void testKt63841() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt63841.kt");
                 }
+
+                @Test
+                @TestMetadata("kt64222.kt")
+                public void testKt64222() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
+                }
             }
 
             @Nested

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

@@ -4086,6 +4086,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 public void testKt63841() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt63841.kt");
                 }
+
+                @Test
+                @TestMetadata("kt64222.kt")
+                public void testKt64222() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
+                }
             }
 
             @Nested

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

@@ -4080,6 +4080,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 public void testKt63841() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt63841.kt");
                 }
+
+                @Test
+                @TestMetadata("kt64222.kt")
+                public void testKt64222() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
+                }
             }
 
             @Nested

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

@@ -4086,6 +4086,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 public void testKt63841() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt63841.kt");
                 }
+
+                @Test
+                @TestMetadata("kt64222.kt")
+                public void testKt64222() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
+                }
             }
 
             @Nested

compiler/testData/diagnostics/tests/builderInference/issues/kt64222.fir.kt

@@ -0,0 +1,16 @@
+// ISSUE: KT-64222
+
+interface A {
+    fun bar(): B<Int>
+}
+
+interface B<T>
+fun <E> foo(block: B<E>.() -> Unit): B<E> = TODO()
+
+class C : A {
+    private var value: B<Int>? = null
+
+    override fun <!RETURN_TYPE_MISMATCH_ON_OVERRIDE!>bar<!>() = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>foo<!> {
+        value = this
+    }
+}

compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt

@@ -0,0 +1,16 @@
+// ISSUE: KT-64222
+
+interface A {
+    fun bar(): B<Int>
+}
+
+interface B<T>
+fun <E> foo(block: B<E>.() -> Unit): B<E> = TODO()
+
+class C : A {
+    private var value: B<Int>? = null
+
+    override fun bar() = foo {
+        value = this
+    }
+}

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

@@ -4086,6 +4086,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 public void testKt63841() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt63841.kt");
                 }
+
+                @Test
+                @TestMetadata("kt64222.kt")
+                public void testKt64222() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt");
+                }
             }
 
             @Nested