[MPP] Add test for KT-42754

idea/testData/multiplatform/smartCastOnPropertyFromDependentModule/common/common.kt

@@ -0,0 +1,5 @@
+data class CommonDataClass(val property: CommonObject?)
+
+object CommonObject {
+    fun doSomething() {}
+}

idea/testData/multiplatform/smartCastOnPropertyFromDependentModule/dependencies.txt

@@ -0,0 +1,7 @@
+MODULE common { platform=[JVM, JS, Native] }
+MODULE jvm1 { platform=[JVM] }
+MODULE jvm2 { platform=[JVM] }
+
+jvm1 -> common { kind=DEPENDS_ON }
+jvm2 -> common { kind=DEPENDS_ON }
+jvm2 -> jvm1 { kind=DEPENDENCY }

idea/testData/multiplatform/smartCastOnPropertyFromDependentModule/jvm1/jvm1.kt

@@ -0,0 +1,5 @@
+data class JvmDataClass(val property: JvmObject?)
+
+object JvmObject {
+    fun doSomething() {}
+}

idea/testData/multiplatform/smartCastOnPropertyFromDependentModule/jvm2/jvm2.kt

@@ -0,0 +1,9 @@
+fun test(fromCommon: CommonDataClass, fromJvm: JvmDataClass) {
+    if (fromCommon.property != null) {
+        <!SMARTCAST_IMPOSSIBLE!>fromCommon.property<!>.doSomething()
+    }
+
+    if (fromJvm.property != null) {
+        <!SMARTCAST_IMPOSSIBLE!>fromJvm.property<!>.doSomething()
+    }
+}

idea/tests/org/jetbrains/kotlin/idea/caches/resolve/MultiplatformAnalysisTestGenerated.java

@@ -208,6 +208,11 @@ public class MultiplatformAnalysisTestGenerated extends AbstractMultiplatformAna
         runTest("idea/testData/multiplatform/simple/");
     }
 
+    @TestMetadata("simple")
+    public void testSmartCastOnPropertyFromDependentModule() throws Exception {
+        runTest("idea/testData/multiplatform/smartCastOnPropertyFromDependentModule/");
+    }
+
     @TestMetadata("supertypes")
     public void testSupertypes() throws Exception {
         runTest("idea/testData/multiplatform/supertypes/");