Self types: diagnostics for annotation classes

Author: maxim092001

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

@@ -0,0 +1,7 @@
+FILE: selfTypeForAnnotation.kt
+    @R|kotlin/Self|() public final annotation class AnnotationClass<out <Self> : R|AnnotationClass<<Self>>|> : R|kotlin/Annotation| {
+        public constructor<out <Self> : R|AnnotationClass<<Self>>|>(): R|AnnotationClass<<Self>>| {
+            super<R|kotlin/Any|>()
+        }
+
+    }

compiler/fir/analysis-tests/legacy-fir-tests/tests-gen/org/jetbrains/kotlin/fir/LazyBodyIsNotTouchedTilContractsPhaseTestGenerated.java

@@ -0,0 +1,6 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
+import kotlin.Self
+<!SELF_TYPE_INAPPLICABLE_TARGET!>@Self<!>
+annotation class AnnotationClass {
+
+}

compiler/fir/analysis-tests/testData/resolve/diagnostics/selfTypeForAnnotation.fir.txt

@@ -21,6 +21,7 @@ import org.jetbrains.kotlin.fir.analysis.diagnostics.FirErrors
 import org.jetbrains.kotlin.fir.declarations.*
 import org.jetbrains.kotlin.fir.declarations.utils.fromPrimaryConstructor
 import org.jetbrains.kotlin.fir.declarations.utils.hasBackingField
+import org.jetbrains.kotlin.fir.declarations.utils.isAnnotationClass
 import org.jetbrains.kotlin.fir.expressions.FirAnnotation
 import org.jetbrains.kotlin.fir.languageVersionSettings
 import org.jetbrains.kotlin.fir.packageFqName
@@ -71,8 +72,16 @@ object FirAnnotationChecker : FirBasicDeclarationChecker() {
             }
         }
 
-        if (declaration is FirClass && declaration.isEnumClass && self != null) {
-            reporter.reportOn(self.source, FirErrors.SELF_TYPE_INAPPLICABLE_TARGET, "", context)
+        if (self != null) {
+            if (declaration is FirClass) {
+                if (declaration.isEnumClass) {
+                    reporter.reportOn(self.source, FirErrors.SELF_TYPE_INAPPLICABLE_TARGET, "", context)
+                }
+
+                if (declaration.isAnnotationClass) {
+                    reporter.reportOn(self.source, FirErrors.SELF_TYPE_INAPPLICABLE_TARGET, "", context)
+                }
+            }
         }
 
         if (deprecatedSinceKotlin != null) {

compiler/fir/analysis-tests/testData/resolve/diagnostics/selfTypeForAnnotation.kt

@@ -55,6 +55,9 @@ inline val FirClass.isInterface: Boolean
 inline val FirClass.isEnumClass: Boolean
     get() = classKind.isEnumClass
 
+inline val FirClass.isAnnotationClass: Boolean
+    get() = classKind.isAnnotationClass
+
 inline val FirRegularClass.isSealed: Boolean get() = status.modality == Modality.SEALED
 
 inline val FirRegularClass.canHaveAbstractDeclaration: Boolean