FIR checker: rename override checker
We can report more diagnostics than type mismatch, e.g., nothing to override, var overridden by val, final override, etc.
This commit is contained in:
committed by
Dmitriy Novozhilov
parent
b48835f3ce
commit
0dd5b94556
+1
-1
@@ -23,7 +23,7 @@ import org.jetbrains.kotlin.types.AbstractTypeCheckerContext
|
|||||||
import org.jetbrains.kotlin.utils.addToStdlib.min
|
import org.jetbrains.kotlin.utils.addToStdlib.min
|
||||||
import org.jetbrains.kotlin.utils.addToStdlib.safeAs
|
import org.jetbrains.kotlin.utils.addToStdlib.safeAs
|
||||||
|
|
||||||
object FirTypeMismatchOnOverrideChecker : FirRegularClassChecker() {
|
object FirOverrideChecker : FirRegularClassChecker() {
|
||||||
override fun check(declaration: FirRegularClass, context: CheckerContext, reporter: DiagnosticReporter) {
|
override fun check(declaration: FirRegularClass, context: CheckerContext, reporter: DiagnosticReporter) {
|
||||||
val typeCheckerContext = context.session.typeContext.newBaseTypeCheckerContext(
|
val typeCheckerContext = context.session.typeContext.newBaseTypeCheckerContext(
|
||||||
errorTypesEqualToAnything = false,
|
errorTypesEqualToAnything = false,
|
||||||
+1
-1
@@ -46,11 +46,11 @@ object CommonDeclarationCheckers : DeclarationCheckers() {
|
|||||||
FirLocalEntityNotAllowedChecker,
|
FirLocalEntityNotAllowedChecker,
|
||||||
FirManyCompanionObjectsChecker,
|
FirManyCompanionObjectsChecker,
|
||||||
FirMethodOfAnyImplementedInInterfaceChecker,
|
FirMethodOfAnyImplementedInInterfaceChecker,
|
||||||
|
FirOverrideChecker,
|
||||||
FirPrimaryConstructorRequiredForDataClassChecker,
|
FirPrimaryConstructorRequiredForDataClassChecker,
|
||||||
FirSupertypeInitializedInInterfaceChecker,
|
FirSupertypeInitializedInInterfaceChecker,
|
||||||
FirSupertypeInitializedWithoutPrimaryConstructor,
|
FirSupertypeInitializedWithoutPrimaryConstructor,
|
||||||
FirTypeParametersInObjectChecker,
|
FirTypeParametersInObjectChecker,
|
||||||
FirTypeMismatchOnOverrideChecker,
|
|
||||||
FirMemberFunctionChecker,
|
FirMemberFunctionChecker,
|
||||||
FirMemberPropertyChecker,
|
FirMemberPropertyChecker,
|
||||||
)
|
)
|
||||||
|
|||||||
Reference in New Issue
Block a user