K2: add one more test (with fixation logs) for KT-76663

Author: mglukhikh

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

@@ -0,0 +1,25 @@
+FILE: dynamicVsNothingInIf.kt
+    public final class Test : R|kotlin/Any| {
+        public constructor(something: R|kotlin/String?|): R|Test| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final val something: R|kotlin/String?| = R|<local>/something|
+            public get(): R|kotlin/String?|
+
+        public final fun toPlainObj(data: R|kotlin/String|): R|dynamic| {
+            ^toPlainObj when () {
+                ==(this@R|/Test|.R|/Test.something|, Null(null)) ->  {
+                    throw R|java/lang/IllegalStateException.IllegalStateException|(String(Something is not defined.))
+                }
+                else ->  {
+                    R|/parse|<R|dynamic|>(R|<local>/data|)
+                }
+            }
+
+        }
+
+    }
+    public final fun <T> parse(data: R|kotlin/String|): R|T| {
+        ^parse R|kotlin/TODO|()
+    }

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

@@ -0,0 +1,19 @@
+CHOSEN for fixation: TypeVariable(T) --- FORBIDDEN
+     <: dynamic
+********************************
+CHOSEN for fixation: TypeVariable(K) --- READY_FOR_FIXATION_UPPER
+     >: kotlin/Nothing
+     >: TypeVariable(T)
+     = dynamic
+    FIXED TO: dynamic
+TypeVariable(T) --- READY_FOR_FIXATION_UPPER
+     <: dynamic
+     <: dynamic
+     = dynamic
+********************************
+CHOSEN for fixation: TypeVariable(T) --- READY_FOR_FIXATION_UPPER
+     <: dynamic
+     <: dynamic
+     = dynamic
+    FIXED TO: dynamic
+********************************

compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/dynamicVsNothingInIf.fir.txt

@@ -0,0 +1,16 @@
+// RUN_PIPELINE_TILL: FRONTEND
+// ISSUE: KT-76663
+// FIR_DUMP
+// FIXATION_LOGS
+
+class Test(val something: String?) {
+    fun toPlainObj(data: String): <!UNSUPPORTED!>dynamic<!> {
+        return if (something == null) {
+            throw IllegalStateException("Something is not defined.")
+        } else {
+            <!UNSUPPORTED("Dynamic type is only supported in Kotlin JS.")!>parse<!>(data)
+        }
+    }
+}
+
+fun <T> parse(data: String): T = TODO()