Test refactoring

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

@@ -0,0 +1,35 @@
+// MODULE: m1
+// FILE: a.kt
+
+package a
+
+public class X {
+    public val x : String? = null
+}
+
+// MODULE: m2(m1)
+// FILE: b.kt
+
+package b
+
+import a.X
+
+public fun X.gav(): Int {
+    if (x != null)
+        // Smart cast is not possible if definition is in another module
+        return x<!UNSAFE_CALL!>.<!>length()
+    else
+        return 0
+}
+
+// FILE: c.kt
+
+package a
+
+public fun X.gav(): Int {
+    if (x != null)
+        // Even if it's in the same package
+        return x<!UNSAFE_CALL!>.<!>length() 
+    else
+        return 0
+}