K2: reproduce KT-61459

compiler/testData/diagnostics/tests/inference/recursiveTypes/nestedClassesWithSelfTypes.fir.kt

@@ -0,0 +1,22 @@
+// ISSUE: KT-61459
+
+interface Alarm {
+    interface Builder<Self : Builder<Self>> {
+        fun build(): Alarm
+    }
+}
+
+abstract class AbstractAlarm<Self : AbstractAlarm<Self, Builder>, Builder : AbstractAlarm.Builder<Builder, Self>>(
+    val identifier: String,
+) : Alarm {
+    abstract class Builder<Self : Builder<!TYPE_ARGUMENTS_NOT_ALLOWED!><Self, Built><!>, Built : AbstractAlarm<Built, <!UPPER_BOUND_VIOLATED!>Self<!>>> : Alarm.Builder<<!UPPER_BOUND_VIOLATED!>Self<!>> {
+        private var identifier: String = ""
+
+        fun setIdentifier(text: String): Self {
+            this.identifier = text
+            return this <!UNCHECKED_CAST!>as Self<!>
+        }
+
+        final override fun build(): Built = TODO()
+    }
+}

compiler/testData/diagnostics/tests/inference/recursiveTypes/nestedClassesWithSelfTypes.kt

@@ -0,0 +1,22 @@
+// ISSUE: KT-61459
+
+interface Alarm {
+    interface Builder<Self : Builder<Self>> {
+        fun build(): Alarm
+    }
+}
+
+abstract class AbstractAlarm<Self : AbstractAlarm<Self, Builder>, Builder : AbstractAlarm.Builder<Builder, Self>>(
+    val identifier: String,
+) : Alarm {
+    abstract class Builder<Self : Builder<Self, Built>, Built : AbstractAlarm<Built, Self>> : Alarm.Builder<Self> {
+        private var identifier: String = ""
+
+        fun setIdentifier(text: String): Self {
+            this.identifier = text
+            return this <!UNCHECKED_CAST!>as Self<!>
+        }
+
+        final override fun build(): Built = TODO()
+    }
+}