[Test] Add test for KT-62137

compiler/testData/diagnostics/testsWithStdLib/contracts/complexConditionWithSafeCall.fir.kt

@@ -0,0 +1,18 @@
+// ISSUE: KT-62137
+
+class PersonDto (
+    val name: String
+)
+
+fun test() {
+    val name: String? = null
+    val person: PersonDto? = null
+
+    if (!name.isNullOrEmpty()) {
+        name.length // Smart cast work
+    }
+
+    if (!person?.name.isNullOrEmpty()) {
+        person.name // Smart cast doesn't work
+    }
+}

compiler/testData/diagnostics/testsWithStdLib/contracts/complexConditionWithSafeCall.kt

@@ -0,0 +1,18 @@
+// ISSUE: KT-62137
+
+class PersonDto (
+    val name: String
+)
+
+fun test() {
+    val name: String? = null
+    val person: PersonDto? = null
+
+    if (!name.isNullOrEmpty()) {
+        <!DEBUG_INFO_SMARTCAST!>name<!>.length // Smart cast work
+    }
+
+    if (!person?.name.isNullOrEmpty()) {
+        person<!UNSAFE_CALL!>.<!>name // Smart cast doesn't work
+    }
+}