Add tests for KT-77008, KT-78127, KT-74588 and KT-80208

Author: dzharkov

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

@@ -0,0 +1,19 @@
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-78127
+
+fun <T : Any> materialize(): T {
+    return "OK" as T
+}
+
+var b = true
+
+fun foo(x: String): String = x
+fun foo(x: Int): Int = x
+
+fun box(): String {
+    var x: String? = null
+
+    x = if (b) materialize() else throw Exception()
+
+    return foo(x)
+}

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

@@ -0,0 +1,31 @@
+// IGNORE_BACKEND_K2: ANY
+// TARGET_BACKEND: JVM
+// ISSUE: KT-74588
+
+// FILE: JavaUtils.java
+public class JavaUtils {
+    // Nullable
+    public static <T extends String> T findViewById(int id) {
+        return null;
+    }
+
+}
+
+// FILE: main.kt
+var view: String? = null
+
+// checkNotNull
+fun foo(t: String?) {
+    view = if (t != null) {
+        t
+    } else {
+        JavaUtils.findViewById(1000)
+    }
+}
+
+fun box(): String {
+    foo(null)
+    if (view != null) return "fail 1"
+    foo("OK")
+    return view!!
+}

compiler/testData/codegen/box/inference/ifWithAssignmentAndNothingBranch.kt

@@ -0,0 +1,32 @@
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-77008
+
+interface I {
+    fun func(): String
+}
+
+class A : I {
+    override fun func(): String = "OK"
+}
+
+class B : I {
+    override fun func(): String ="Fail B"
+}
+
+fun <T> materialize(): T {
+    return A() as T
+}
+
+class MyThrowable : Throwable("")
+
+fun box(): String {
+    val i: I
+    // K1: OK
+    // K2: Fails in Runtime with "class A cannot be cast to class B"
+    i = try {
+        materialize()
+    } catch(e: MyThrowable) {
+        B()
+    }
+    return i.func()
+}

compiler/testData/codegen/box/inference/noCheckNotNullForFlexibleTypeInWhenAtAssignment.kt

@@ -0,0 +1,33 @@
+// IGNORE_BACKEND_K1: ANY
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-77008
+
+interface I
+
+interface I2 : I {
+    fun func(): String
+}
+
+class A : I2 {
+    override fun func(): String = "OK"
+}
+
+class B : I2 {
+    override fun func(): String ="Fail B"
+}
+
+fun <T : I2> materialize(): T {
+    return A() as T
+}
+
+class MyThrowable : Throwable("")
+
+fun box(): String {
+    val i: I
+    i = try {
+        materialize()
+    } catch(e: MyThrowable) {
+        B()
+    }
+    return i.func()
+}

compiler/testData/codegen/box/inference/tryCatchAtAssignment.kt

@@ -0,0 +1,26 @@
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-80208
+
+class A(val s: String)
+
+var result: A? = null
+
+fun test(json: String) {
+    result = try {
+        build(json) {
+            A(json)
+        }
+    } catch (e: Exception) {
+        return
+    }
+}
+
+fun <T> build(str: String, builder: (String) -> T): T {
+    return builder.invoke(str)
+}
+
+fun box(): String {
+    test("OK")
+
+    return result!!.s
+}

compiler/testData/codegen/box/inference/tryCatchAtAssignmentWithSmartCast.kt

@@ -0,0 +1,31 @@
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-77008
+
+interface I {
+    fun func(): String
+}
+
+class A : I {
+    override fun func(): String = "OK"
+}
+
+class B : I {
+    override fun func(): String ="Fail B"
+}
+
+fun <T> materialize(): T {
+    return A() as T
+}
+
+var b = true
+
+fun box(): String {
+    val i: I
+    // K1: OK
+    // K2: Fails in Runtime with "class A cannot be cast to class B"
+    i = when (b) {
+        true -> materialize()
+        else -> B()
+    }
+    return i.func()
+}

compiler/testData/codegen/box/inference/tryWithAssignmentAndNothingTypedCatch.kt

@@ -0,0 +1,32 @@
+// IGNORE_BACKEND_K1: ANY
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-77008
+
+interface I
+
+interface I2 : I {
+    fun func(): String
+}
+
+class A : I2 {
+    override fun func(): String = "OK"
+}
+
+class B : I2 {
+    override fun func(): String ="Fail B"
+}
+
+fun <T : I2> materialize(): T {
+    return A() as T
+}
+
+var b = true
+
+fun box(): String {
+    val i: I
+    i = when (b) {
+        true -> materialize()
+        else -> B()
+    }
+    return i.func()
+}