[IR] Specify more concrete types of validated elements in some checkers

Some optimization

Author: mcpiroman

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/checkers/declaration/IrConstructorReceiverChecker.kt

@@ -12,9 +12,8 @@ import org.jetbrains.kotlin.ir.declarations.IrFunction
 import org.jetbrains.kotlin.ir.declarations.IrParameterKind
 import org.jetbrains.kotlin.ir.util.constructedClass
 
-object IrConstructorReceiverChecker : IrElementChecker<IrFunction>(IrFunction::class) {
-    override fun check(element: IrFunction, context: CheckerContext) {
-        if (element !is IrConstructor) return
+object IrConstructorReceiverChecker : IrElementChecker<IrConstructor>(IrConstructor::class) {
+    override fun check(element: IrConstructor, context: CheckerContext) {
         if (!element.constructedClass.isInner && element.dispatchReceiverParameter != null) {
             context.error(element, "Constructors of non-inner classes can't have dispatch receiver parameters")
         }

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/checkers/declaration/IrFunctionPropertiesChecker.kt

@@ -11,13 +11,11 @@ import org.jetbrains.kotlin.ir.declarations.IrFunction
 import org.jetbrains.kotlin.ir.declarations.IrSimpleFunction
 import org.jetbrains.kotlin.ir.util.render
 
-object IrFunctionPropertiesChecker : IrElementChecker<IrFunction>(IrFunction::class) {
-    override fun check(element: IrFunction, context: CheckerContext) {
-        if (element is IrSimpleFunction) {
-            val property = element.correspondingPropertySymbol?.owner
-            if (property != null && property.getter != element && property.setter != element) {
-                context.error(element, "Orphaned property getter/setter ${element.render()}")
-            }
+object IrFunctionPropertiesChecker : IrElementChecker<IrSimpleFunction>(IrSimpleFunction::class) {
+    override fun check(element: IrSimpleFunction, context: CheckerContext) {
+        val property = element.correspondingPropertySymbol?.owner
+        if (property != null && property.getter != element && property.setter != element) {
+            context.error(element, "Orphaned property getter/setter ${element.render()}")
         }
     }
 }

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/checkers/declaration/IrPrivateDeclarationOverrideChecker.kt

@@ -13,14 +13,12 @@ import org.jetbrains.kotlin.ir.declarations.IrDeclarationWithVisibility
 import org.jetbrains.kotlin.ir.declarations.IrOverridableDeclaration
 import org.jetbrains.kotlin.ir.util.render
 
-object IrPrivateDeclarationOverrideChecker : IrElementChecker<IrDeclaration>(IrDeclaration::class) {
-    override fun check(element: IrDeclaration, context: CheckerContext) {
-        if (element is IrOverridableDeclaration<*>) {
-            for (overriddenSymbol in element.overriddenSymbols) {
-                val overriddenDeclaration = overriddenSymbol.owner as? IrDeclarationWithVisibility ?: continue
-                if (overriddenDeclaration.visibility == DescriptorVisibilities.PRIVATE) {
-                    context.error(element, "Overrides private declaration ${overriddenDeclaration.render()}")
-                }
+object IrPrivateDeclarationOverrideChecker : IrElementChecker<IrOverridableDeclaration<*>>(IrOverridableDeclaration::class) {
+    override fun check(element: IrOverridableDeclaration<*>, context: CheckerContext) {
+        for (overriddenSymbol in element.overriddenSymbols) {
+            val overriddenDeclaration = overriddenSymbol.owner as? IrDeclarationWithVisibility ?: continue
+            if (overriddenDeclaration.visibility == DescriptorVisibilities.PRIVATE) {
+                context.error(element, "Overrides private declaration ${overriddenDeclaration.render()}")
             }
         }
     }