K1/K2: add tests for KT-55811

compiler/testData/diagnostics/testsWithStdLib/annotations/subclassOptInRequired/InnerAndNestedClasses.kt

@@ -0,0 +1,20 @@
+// FIR_IDENTICAL
+
+@RequiresOptIn
+annotation class Api
+
+@SubclassOptInRequired(Api::class)
+open class B {
+    open class C
+    open inner class L
+}
+
+class E() : <!OPT_IN_USAGE_ERROR!>B<!>()
+class K() : B.C()
+
+fun test() {
+    with(B()) {
+        class Local : B.L()
+    }
+}
+

compiler/testData/diagnostics/testsWithStdLib/annotations/subclassOptInRequired/InnerClasses.kt

@@ -0,0 +1,22 @@
+// FIR_IDENTICAL
+
+@RequiresOptIn
+annotation class Boom
+
+@RequiresOptIn
+annotation class Boom2
+
+@SubclassOptInRequired(Boom::class)
+open class B {
+    @SubclassOptInRequired(Boom2::class)
+    open inner class C
+}
+
+
+fun test() {
+    with(B()) {
+        @OptIn(Boom2::class)
+        class Local : B.C() {}
+    }
+}
+

compiler/testData/diagnostics/testsWithStdLib/annotations/subclassOptInRequired/NestedClasses.kt

@@ -0,0 +1,19 @@
+// FIR_IDENTICAL
+
+@RequiresOptIn
+annotation class Boom
+
+@RequiresOptIn
+annotation class Boom2
+
+@SubclassOptInRequired(Boom::class)
+open class B {
+    @SubclassOptInRequired(Boom2::class)
+    open class C
+
+    @OptIn(Boom2::class)
+    class C2 : C()
+}
+
+@OptIn(Boom2::class)
+class E2 : B.C() {}