[Test] Reproduce KT-67808

compiler/testData/codegen/box/controlflow/smartcastOnThisInInitializationSection.kt

@@ -0,0 +1,18 @@
+// IGNORE_BACKEND_K2: ANY
+// ISSUE: KT-67808
+
+open class Base<T> {
+    val x: Any?
+
+    init {
+        this as Derived
+        x = "OK"
+    }
+}
+
+class Derived: Base<String>()
+
+fun box(): String {
+    val d = Derived()
+    return d.x as String
+}

compiler/testData/diagnostics/tests/controlFlowAnalysis/smartcastOnThisInInitializationSection.fir.kt

@@ -0,0 +1,14 @@
+// ISSUE: KT-67808
+
+open class Base<T> {
+    <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>val x: Any?<!>
+    <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>val y: T<!>
+
+    init {
+        this as Derived
+        <!VAL_REASSIGNMENT!>x<!> = "O"
+        this.<!VAL_REASSIGNMENT!>y<!> = <!ASSIGNMENT_TYPE_MISMATCH!>"O"<!>
+    }
+}
+
+class Derived: Base<String>()

compiler/testData/diagnostics/tests/controlFlowAnalysis/smartcastOnThisInInitializationSection.kt

@@ -0,0 +1,14 @@
+// ISSUE: KT-67808
+
+open class Base<T> {
+    val x: Any?
+    <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>val y: T<!>
+
+    init {
+        <!DEBUG_INFO_LEAKING_THIS!>this<!> as Derived
+        x = "O"
+        <!VAL_REASSIGNMENT!><!DEBUG_INFO_SMARTCAST!>this<!>.y<!> = "O"
+    }
+}
+
+class Derived: Base<String>()