diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
index 9ecbf51c0c3..2ba6231b456 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
@@ -29848,6 +29848,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToNothingAfterCheckingForNull.kt");
             }
 
+            @Test
+            @TestMetadata("smartcastToStarProjection.kt")
+            public void testSmartcastToStarProjection() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt");
+            }
+
             @Test
             @TestMetadata("thisWithLabel.kt")
             public void testThisWithLabel() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
index c2326036ab8..9fe3b0900d1 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
@@ -29944,6 +29944,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToNothingAfterCheckingForNull.kt");
             }
 
+            @Test
+            @TestMetadata("smartcastToStarProjection.kt")
+            public void testSmartcastToStarProjection() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt");
+            }
+
             @Test
             @TestMetadata("thisWithLabel.kt")
             public void testThisWithLabel() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
index e4db790015e..69bda3677fb 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
@@ -29848,6 +29848,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToNothingAfterCheckingForNull.kt");
             }
 
+            @Test
+            @TestMetadata("smartcastToStarProjection.kt")
+            public void testSmartcastToStarProjection() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt");
+            }
+
             @Test
             @TestMetadata("thisWithLabel.kt")
             public void testThisWithLabel() throws Exception {
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/PostponedArgumentsAnalyzer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/PostponedArgumentsAnalyzer.kt
index 36c7496e0bb..02b1fd7b8aa 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/PostponedArgumentsAnalyzer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/PostponedArgumentsAnalyzer.kt
@@ -213,6 +213,7 @@ class PostponedArgumentsAnalyzer(
 
         lambda.analyzed = true
         lambda.returnStatements = returnArguments
+        c.resolveForkPointsConstraints()
 
         if (inferenceSession != null) {
             val postponedVariables = inferenceSession.inferPostponedVariables(lambda, builder, completionMode)
diff --git a/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/components/PostponedArgumentsAnalyzerContext.kt b/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/components/PostponedArgumentsAnalyzerContext.kt
index df82c8ef4af..68cd259a8d8 100644
--- a/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/components/PostponedArgumentsAnalyzerContext.kt
+++ b/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/components/PostponedArgumentsAnalyzerContext.kt
@@ -25,4 +25,5 @@ interface PostponedArgumentsAnalyzerContext : TypeSystemInferenceExtensionContex
     fun addOtherSystem(otherSystem: ConstraintStorage)
 
     fun getBuilder(): ConstraintSystemBuilder
+    fun resolveForkPointsConstraints()
 }
diff --git a/compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.fir.kt
new file mode 100644
index 00000000000..3ad504383f6
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.fir.kt
@@ -0,0 +1,18 @@
+// SKIP_TXT
+// ISSUE: KT-55966
+// INFERENCE_HELPERS
+
+class Inv<T>
+
+abstract class A<T>
+
+fun <T> get(e: A<T>): T = null!!
+
+fun <K> produce(producer: () -> K): K = null!!
+
+fun <O> test(t: A<O>) {
+    @Suppress("UNCHECKED_CAST")
+    t as A<Inv<*>>
+    <!DEBUG_INFO_EXPRESSION_TYPE("Inv<*>")!>id(get(t))<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("Inv<*>")!>produce { get(t) }<!>
+}
diff --git a/compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt b/compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt
new file mode 100644
index 00000000000..7d12cf85639
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt
@@ -0,0 +1,18 @@
+// SKIP_TXT
+// ISSUE: KT-55966
+// INFERENCE_HELPERS
+
+class Inv<T>
+
+abstract class A<T>
+
+fun <T> get(e: A<T>): T = null!!
+
+fun <K> produce(producer: () -> K): K = null!!
+
+fun <O> test(t: A<O>) {
+    @Suppress("UNCHECKED_CAST")
+    t as A<Inv<*>>
+    <!DEBUG_INFO_EXPRESSION_TYPE("Inv<*>")!>id(get(<!DEBUG_INFO_SMARTCAST!>t<!>))<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("Inv<*>")!>produce { get(<!DEBUG_INFO_SMARTCAST!>t<!>) }<!>
+}
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 0487c053646..123dcf9a998 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
@@ -29944,6 +29944,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToNothingAfterCheckingForNull.kt");
             }
 
+            @Test
+            @TestMetadata("smartcastToStarProjection.kt")
+            public void testSmartcastToStarProjection() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartcastToStarProjection.kt");
+            }
+
             @Test
             @TestMetadata("thisWithLabel.kt")
             public void testThisWithLabel() throws Exception {