Deprecate smart cast on alien derived property #KT-48101 Fixed

compiler/testData/diagnostics/tests/smartCasts/publicVals/otherModuleInheritance_after.kt

@@ -0,0 +1,27 @@
+// FIR_IDENTICAL
+// !LANGUAGE: +ProhibitSmartcastsOnPropertyFromAlienBaseClass
+// MODULE: m1
+// FILE: A.kt
+
+open class Base(val x: Any)
+open class Generic<T>(val y: T)
+
+// MODULE: m2(m1)
+// FILE: B.kt
+
+class Derived : Base("123") {
+    fun foo() {
+        if (x is String) {
+            <!SMARTCAST_IMPOSSIBLE!>x<!>.length // impossible since `x` is in another module. FE1.0 allows this due to KT-47225
+        }
+    }
+}
+
+class MyGeneric : Generic<Number>(42) {
+    private fun baz(arg: Int) {}
+    fun bar() {
+        if (y is Int) {
+            baz(<!SMARTCAST_IMPOSSIBLE!>y<!>) // impossible since `y` is in another module. FE1.0 allows this due to KT-47225
+        }
+    }
+}