[FIR2IR] Don't create f/o symbols on smartcasted Nothing in dispatch receiver

^KT-63525 Fixed

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() {

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() {

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

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() {

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() {

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() {

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"
+    }
+}

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() {

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() {

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() {

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() {

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() {

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");

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() {

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() {

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() {

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() {

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() {

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() {

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() {

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() {

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() {

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() {