[Tests] Add a test on smartcasts on properties from dependsOn modules

Behaviour is undesired, will be fixed in the next commit

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java

@@ -36891,6 +36891,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                     runTest("compiler/testData/diagnostics/tests/smartCasts/variables/property.kt");
                 }
 
+                @Test
+                @TestMetadata("propertyFromDependsOnModule.kt")
+                public void testPropertyFromDependsOnModule() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.kt");
+                }
+
                 @Test
                 @TestMetadata("propertyNotNeeded.kt")
                 public void testPropertyNotNeeded() throws Exception {

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java

@@ -36891,6 +36891,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                     runTest("compiler/testData/diagnostics/tests/smartCasts/variables/property.kt");
                 }
 
+                @Test
+                @TestMetadata("propertyFromDependsOnModule.kt")
+                public void testPropertyFromDependsOnModule() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.kt");
+                }
+
                 @Test
                 @TestMetadata("propertyNotNeeded.kt")
                 public void testPropertyNotNeeded() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -34535,6 +34535,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                     runTest("compiler/testData/diagnostics/tests/smartCasts/variables/property.kt");
                 }
 
+                @Test
+                @TestMetadata("propertyFromDependsOnModule.kt")
+                public void testPropertyFromDependsOnModule() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.kt");
+                }
+
                 @Test
                 @TestMetadata("propertyNotNeeded.kt")
                 public void testPropertyNotNeeded() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -34661,6 +34661,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                     runTest("compiler/testData/diagnostics/tests/smartCasts/variables/property.kt");
                 }
 
+                @Test
+                @TestMetadata("propertyFromDependsOnModule.kt")
+                public void testPropertyFromDependsOnModule() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.kt");
+                }
+
                 @Test
                 @TestMetadata("propertyNotNeeded.kt")
                 public void testPropertyNotNeeded() throws Exception {

compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.fir.kt

@@ -0,0 +1,33 @@
+// SKIP_TXT
+
+// MODULE: transitive
+// FILE: Transitive.kt
+class Transitive {
+    val finalProperty: Any = "";
+}
+
+
+// MODULE: direct()()(transitive)
+// FILE: Direct.kt
+class Direct {
+    val finalProperty: Any = "";
+}
+
+// MODULE: app()()(direct)
+fun isCast(d: Direct, t: Transitive) {
+    if (d.finalProperty is String) {
+        d.finalProperty.length
+    }
+
+    if (t.finalProperty is String) {
+        <!SMARTCAST_IMPOSSIBLE!>t.finalProperty<!>.length
+    }
+}
+
+fun asCast(d: Direct, t: Transitive) {
+    d.finalProperty as String
+    d.finalProperty.length
+
+    t.finalProperty as String
+    <!SMARTCAST_IMPOSSIBLE!>t.finalProperty<!>.length
+}

compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.kt

@@ -0,0 +1,33 @@
+// SKIP_TXT
+
+// MODULE: transitive
+// FILE: Transitive.kt
+class Transitive {
+    val finalProperty: Any = "";
+}
+
+
+// MODULE: direct()()(transitive)
+// FILE: Direct.kt
+class Direct {
+    val finalProperty: Any = "";
+}
+
+// MODULE: app()()(direct)
+fun isCast(d: Direct, t: Transitive) {
+    if (d.finalProperty is String) {
+        <!DEBUG_INFO_SMARTCAST!>d.finalProperty<!>.length
+    }
+
+    if (t.finalProperty is String) {
+        <!DEBUG_INFO_SMARTCAST!>t.finalProperty<!>.length
+    }
+}
+
+fun asCast(d: Direct, t: Transitive) {
+    d.finalProperty as String
+    <!DEBUG_INFO_SMARTCAST!>d.finalProperty<!>.length
+
+    t.finalProperty as String
+    <!DEBUG_INFO_SMARTCAST!>t.finalProperty<!>.length
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -36891,6 +36891,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                     runTest("compiler/testData/diagnostics/tests/smartCasts/variables/property.kt");
                 }
 
+                @Test
+                @TestMetadata("propertyFromDependsOnModule.kt")
+                public void testPropertyFromDependsOnModule() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/variables/propertyFromDependsOnModule.kt");
+                }
+
                 @Test
                 @TestMetadata("propertyNotNeeded.kt")
                 public void testPropertyNotNeeded() throws Exception {