diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java
index 864cbba4638..472ced82310 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java
+++ b/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
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java
index d74cc5f0402..45f238a1495 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java
+++ b/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
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
index 1d27886ba85..2638f548ee0 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
+++ b/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
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
index 086d74620b7..2122c1328c3 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
+++ b/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
diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt64222.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt64222.fir.kt
new file mode 100644
index 00000000000..ccb14571793
--- /dev/null
+++ b/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
+    }
+}
diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt64222.kt
new file mode 100644
index 00000000000..7b1d6ef4671
--- /dev/null
+++ b/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
+    }
+}
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 a2a819b40ba..699f03085b5 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
@@ -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