[IR] Add IrChecker interface

common for element type and symbol checkers.

Author: mcpiroman

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/IrValidator.kt

@@ -12,9 +12,9 @@ import org.jetbrains.kotlin.backend.common.checkers.checkTreeConsistency
 import org.jetbrains.kotlin.backend.common.checkers.context.*
 import org.jetbrains.kotlin.backend.common.checkers.declaration.*
 import org.jetbrains.kotlin.backend.common.checkers.expression.*
-import org.jetbrains.kotlin.backend.common.checkers.symbol.IrSymbolChecker
 import org.jetbrains.kotlin.backend.common.checkers.symbol.IrVisibilityChecker
-import org.jetbrains.kotlin.backend.common.checkers.type.IrTypeChecker
+import org.jetbrains.kotlin.backend.common.checkers.IrSymbolChecker
+import org.jetbrains.kotlin.backend.common.checkers.IrTypeChecker
 import org.jetbrains.kotlin.backend.common.checkers.type.IrTypeParameterScopeChecker
 import org.jetbrains.kotlin.cli.common.messages.CompilerMessageSeverity
 import org.jetbrains.kotlin.cli.common.messages.MessageCollector

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

@@ -6,13 +6,26 @@
 package org.jetbrains.kotlin.backend.common.checkers
 
 import org.jetbrains.kotlin.backend.common.checkers.context.CheckerContext
+import org.jetbrains.kotlin.backend.common.checkers.context.ContextUpdater
 import org.jetbrains.kotlin.ir.IrElement
+import org.jetbrains.kotlin.ir.symbols.IrSymbol
+import org.jetbrains.kotlin.ir.types.IrType
 import kotlin.reflect.KClass
 
+sealed interface IrChecker
+
 abstract class IrElementChecker<in E : IrElement>(
     elementClass: KClass<in E>,
-) {
+) : IrChecker {
     internal val elementClass: Class<in E> = elementClass.java
 
     abstract fun check(element: E, context: CheckerContext)
 }
+
+interface IrTypeChecker : IrChecker {
+    fun check(type: IrType, container: IrElement, context: CheckerContext)
+}
+
+interface IrSymbolChecker : IrChecker {
+    fun check(symbol: IrSymbol, container: IrElement, context: CheckerContext)
+}

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/checkers/symbol/IrSymbolChecker.kt

@@ -5,6 +5,7 @@
 
 package org.jetbrains.kotlin.backend.common.checkers.symbol
 
+import org.jetbrains.kotlin.backend.common.checkers.IrSymbolChecker
 import org.jetbrains.kotlin.backend.common.checkers.checkVisibility
 import org.jetbrains.kotlin.backend.common.checkers.context.CheckerContext
 import org.jetbrains.kotlin.ir.IrElement

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/checkers/symbol/IrVisibilityChecker.kt

@@ -5,6 +5,7 @@
 
 package org.jetbrains.kotlin.backend.common.checkers.type
 
+import org.jetbrains.kotlin.backend.common.checkers.IrTypeChecker
 import org.jetbrains.kotlin.backend.common.checkers.context.CheckerContext
 import org.jetbrains.kotlin.ir.IrElement
 import org.jetbrains.kotlin.ir.symbols.IrTypeParameterSymbol