[tests] Add test data for KT-63705

compiler/testData/diagnostics/tests/smartCasts/NullableFunctionTypeAsMemberMutableProperty.fir.kt

@@ -0,0 +1,26 @@
+fun box(): String {
+    KlassA({})
+    KlassB()
+    return "OK"
+}
+
+class KlassA(arg: (() -> Unit)?) {
+    var func: (() -> Unit)? = arg
+    init {
+        if (func != null) {
+            <!SMARTCAST_IMPOSSIBLE!>func<!>()
+        }
+    }
+}
+
+class KlassB {
+    var func: (() -> Unit)?
+    init {
+        if (true) {
+            func = {}
+            <!UNSAFE_IMPLICIT_INVOKE_CALL!>func<!>()
+        } else {
+            func = null
+        }
+    }
+}

compiler/testData/diagnostics/tests/smartCasts/NullableFunctionTypeAsMemberMutableProperty.kt

@@ -0,0 +1,26 @@
+fun box(): String {
+    KlassA({})
+    KlassB()
+    return "OK"
+}
+
+class KlassA(arg: (() -> Unit)?) {
+    var func: (() -> Unit)? = arg
+    init {
+        if (func != null) {
+            <!UNSAFE_IMPLICIT_INVOKE_CALL!>func<!>()
+        }
+    }
+}
+
+class KlassB {
+    var func: (() -> Unit)?
+    init {
+        if (true) {
+            func = {}
+            <!UNSAFE_IMPLICIT_INVOKE_CALL!>func<!>()
+        } else {
+            func = null
+        }
+    }
+}

compiler/testData/diagnostics/tests/smartCasts/NullableFunctionTypeAsMemberMutablePropertyFromConstructor.fir.kt

@@ -0,0 +1,12 @@
+fun box(): String {
+    Klass({})
+    return "OK"
+}
+
+class Klass(var func: (() -> Unit)?) {
+    init {
+        if (func != null) {
+            <!SMARTCAST_IMPOSSIBLE!>func<!>()
+        }
+    }
+}

compiler/testData/diagnostics/tests/smartCasts/NullableFunctionTypeAsMemberMutablePropertyFromConstructor.kt

@@ -0,0 +1,12 @@
+fun box(): String {
+    Klass({})
+    return "OK"
+}
+
+class Klass(var func: (() -> Unit)?) {
+    init {
+        if (func != null) {
+            <!UNSAFE_IMPLICIT_INVOKE_CALL!>func<!>()
+        }
+    }
+}