diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirBlackBoxCodegenBasedTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirBlackBoxCodegenBasedTestGenerated.java
index 51b69359bca..8bae7592882 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirBlackBoxCodegenBasedTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirBlackBoxCodegenBasedTestGenerated.java
@@ -11966,6 +11966,12 @@ public class LLFirBlackBoxCodegenBasedTestGenerated extends AbstractLLFirBlackBo
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirReversedBlackBoxCodegenBasedTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirReversedBlackBoxCodegenBasedTestGenerated.java
index d0f6fbbc40b..b523a4a93b0 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirReversedBlackBoxCodegenBasedTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirReversedBlackBoxCodegenBasedTestGenerated.java
@@ -11966,6 +11966,12 @@ public class LLFirReversedBlackBoxCodegenBasedTestGenerated extends AbstractLLFi
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/ConversionUtils.kt b/compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/ConversionUtils.kt
index 5b8e96833bf..e2b701fc063 100644
--- a/compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/ConversionUtils.kt
+++ b/compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/ConversionUtils.kt
@@ -277,7 +277,10 @@ fun FirCallableSymbol<*>.toSymbolForCall(
         }
         // Member fake override or bound callable reference
         dispatchReceiver != null -> {
-            val callSiteDispatchReceiverType = dispatchReceiver.resolvedType
+            val callSiteDispatchReceiverType = when (dispatchReceiver) {
+                is FirSmartCastExpression -> dispatchReceiver.smartcastTypeWithoutNullableNothing?.coneType ?: dispatchReceiver.resolvedType
+                else -> dispatchReceiver.resolvedType
+            }
             val declarationSiteDispatchReceiverType = dispatchReceiverType
             val type = if (callSiteDispatchReceiverType is ConeDynamicType && declarationSiteDispatchReceiverType != null) {
                 declarationSiteDispatchReceiverType
diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenTestGenerated.java
index ec9cf495900..160cb98be3b 100644
--- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenTestGenerated.java
+++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenTestGenerated.java
@@ -11907,6 +11907,12 @@ public class FirLightTreeBlackBoxCodegenTestGenerated extends AbstractFirLightTr
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenWithIrFakeOverrideGeneratorTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenWithIrFakeOverrideGeneratorTestGenerated.java
index bd353d933e1..7dce1d42e18 100644
--- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenWithIrFakeOverrideGeneratorTestGenerated.java
+++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenWithIrFakeOverrideGeneratorTestGenerated.java
@@ -11907,6 +11907,12 @@ public class FirLightTreeBlackBoxCodegenWithIrFakeOverrideGeneratorTestGenerated
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirPsiBlackBoxCodegenTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirPsiBlackBoxCodegenTestGenerated.java
index 29d760f06fd..c7686a08e03 100644
--- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirPsiBlackBoxCodegenTestGenerated.java
+++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirPsiBlackBoxCodegenTestGenerated.java
@@ -11907,6 +11907,12 @@ public class FirPsiBlackBoxCodegenTestGenerated extends AbstractFirPsiBlackBoxCo
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt b/compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt
new file mode 100644
index 00000000000..8e8ab2130d1
--- /dev/null
+++ b/compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt
@@ -0,0 +1,14 @@
+// ISSUE: KT-63525
+
+fun box(): String {
+    var b: String? = "abc"
+    b = null
+    var x = 0
+    if (b != null) {
+        x += b.length
+    }
+    return when (x) {
+        0 -> "OK"
+        else -> "Fail: $x"
+    }
+}
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/JvmAbiConsistencyTestBoxGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/JvmAbiConsistencyTestBoxGenerated.java
index 332c625a541..6c92c57acb0 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/JvmAbiConsistencyTestBoxGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/JvmAbiConsistencyTestBoxGenerated.java
@@ -11907,6 +11907,12 @@ public class JvmAbiConsistencyTestBoxGenerated extends AbstractJvmAbiConsistency
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java
index 771dc974b5a..e797a721761 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java
@@ -11595,6 +11595,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
index daa1adae7b1..cc98722de1c 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
@@ -11907,6 +11907,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenWithIrInlinerTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenWithIrInlinerTestGenerated.java
index f944963c533..fc394053f3e 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenWithIrInlinerTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenWithIrInlinerTestGenerated.java
@@ -11907,6 +11907,12 @@ public class IrBlackBoxCodegenWithIrInlinerTestGenerated extends AbstractIrBlack
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/inlineScopes/FirBlackBoxCodegenTestWithInlineScopesGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/inlineScopes/FirBlackBoxCodegenTestWithInlineScopesGenerated.java
index 50d9a70344d..8ef9ae2cb1e 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/inlineScopes/FirBlackBoxCodegenTestWithInlineScopesGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/inlineScopes/FirBlackBoxCodegenTestWithInlineScopesGenerated.java
@@ -11907,6 +11907,12 @@ public class FirBlackBoxCodegenTestWithInlineScopesGenerated extends AbstractFir
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
index 5b0d3ea2a7d..d5d8c7cbeff 100644
--- a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
+++ b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
@@ -9527,6 +9527,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
       runTest("compiler/testData/codegen/box/controlflow/for_loops.kt");
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsCodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsCodegenBoxTestGenerated.java
index b4d3ddbb1bd..93d9887f408 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsCodegenBoxTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsCodegenBoxTestGenerated.java
@@ -8643,6 +8643,12 @@ public class FirJsCodegenBoxTestGenerated extends AbstractFirJsCodegenBoxTest {
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsES6CodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsES6CodegenBoxTestGenerated.java
index 694a63b3aff..5acb397529a 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsES6CodegenBoxTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/fir/FirJsES6CodegenBoxTestGenerated.java
@@ -8643,6 +8643,12 @@ public class FirJsES6CodegenBoxTestGenerated extends AbstractFirJsES6CodegenBoxT
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsCodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsCodegenBoxTestGenerated.java
index 04d4c42b382..ebe39f4db99 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsCodegenBoxTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsCodegenBoxTestGenerated.java
@@ -8643,6 +8643,12 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsES6CodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsES6CodegenBoxTestGenerated.java
index 58f4bbdaaae..55614a81a77 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsES6CodegenBoxTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/IrJsES6CodegenBoxTestGenerated.java
@@ -8643,6 +8643,12 @@ public class IrJsES6CodegenBoxTestGenerated extends AbstractIrJsES6CodegenBoxTes
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestGenerated.java b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestGenerated.java
index 0ab3b571111..19f1094338b 100644
--- a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestGenerated.java
+++ b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestGenerated.java
@@ -9536,6 +9536,12 @@ public class FirNativeCodegenBoxTestGenerated extends AbstractNativeCodegenBoxTe
         runTest("compiler/testData/codegen/box/controlflow/break1.kt");
       }
 
+      @Test
+      @TestMetadata("callOnSmarcastedNothing.kt")
+      public void testCallOnSmarcastedNothing() {
+        runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+      }
+
       @Test
       @TestMetadata("for_loops.kt")
       public void testFor_loops() {
diff --git a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestNoPLGenerated.java b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestNoPLGenerated.java
index 73d5e69ec65..bf160b7d06e 100644
--- a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestNoPLGenerated.java
+++ b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/FirNativeCodegenBoxTestNoPLGenerated.java
@@ -9742,6 +9742,12 @@ public class FirNativeCodegenBoxTestNoPLGenerated extends AbstractNativeCodegenB
         runTest("compiler/testData/codegen/box/controlflow/break1.kt");
       }
 
+      @Test
+      @TestMetadata("callOnSmarcastedNothing.kt")
+      public void testCallOnSmarcastedNothing() {
+        runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+      }
+
       @Test
       @TestMetadata("for_loops.kt")
       public void testFor_loops() {
diff --git a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestGenerated.java b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestGenerated.java
index b6802260825..f07ddc44a44 100644
--- a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestGenerated.java
+++ b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestGenerated.java
@@ -9330,6 +9330,12 @@ public class NativeCodegenBoxTestGenerated extends AbstractNativeCodegenBoxTest
         runTest("compiler/testData/codegen/box/controlflow/break1.kt");
       }
 
+      @Test
+      @TestMetadata("callOnSmarcastedNothing.kt")
+      public void testCallOnSmarcastedNothing() {
+        runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+      }
+
       @Test
       @TestMetadata("for_loops.kt")
       public void testFor_loops() {
diff --git a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestNoPLGenerated.java b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestNoPLGenerated.java
index 72bdf851062..7eb9950c050 100644
--- a/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestNoPLGenerated.java
+++ b/native/native.tests/tests-gen/org/jetbrains/kotlin/konan/test/blackbox/NativeCodegenBoxTestNoPLGenerated.java
@@ -9537,6 +9537,12 @@ public class NativeCodegenBoxTestNoPLGenerated extends AbstractNativeCodegenBoxT
         runTest("compiler/testData/codegen/box/controlflow/break1.kt");
       }
 
+      @Test
+      @TestMetadata("callOnSmarcastedNothing.kt")
+      public void testCallOnSmarcastedNothing() {
+        runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+      }
+
       @Test
       @TestMetadata("for_loops.kt")
       public void testFor_loops() {
diff --git a/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/FirWasmJsCodegenBoxTestGenerated.java b/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/FirWasmJsCodegenBoxTestGenerated.java
index 9dc1ae398b9..ec69900e0f4 100644
--- a/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/FirWasmJsCodegenBoxTestGenerated.java
+++ b/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/FirWasmJsCodegenBoxTestGenerated.java
@@ -8619,6 +8619,12 @@ public class FirWasmJsCodegenBoxTestGenerated extends AbstractFirWasmJsCodegenBo
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {
diff --git a/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/K1WasmCodegenBoxTestGenerated.java b/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/K1WasmCodegenBoxTestGenerated.java
index 0e2988ab60c..e760cd727b1 100644
--- a/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/K1WasmCodegenBoxTestGenerated.java
+++ b/wasm/wasm.tests/tests-gen/org/jetbrains/kotlin/wasm/test/K1WasmCodegenBoxTestGenerated.java
@@ -8619,6 +8619,12 @@ public class K1WasmCodegenBoxTestGenerated extends AbstractK1WasmCodegenBoxTest
       runTest("compiler/testData/codegen/box/controlflow/break1.kt");
     }
 
+    @Test
+    @TestMetadata("callOnSmarcastedNothing.kt")
+    public void testCallOnSmarcastedNothing() {
+      runTest("compiler/testData/codegen/box/controlflow/callOnSmarcastedNothing.kt");
+    }
+
     @Test
     @TestMetadata("for_loops.kt")
     public void testFor_loops() {