FIR checker: apply override checker to anonymous objects
^KT-44695 Fixed
This commit is contained in:
committed by
Mikhail Glukhikh
parent
9370f918e9
commit
09640d9d63
+2
-2
@@ -26,8 +26,8 @@ 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 FirOverrideChecker : FirRegularClassChecker() {
|
object FirOverrideChecker : FirClassChecker() {
|
||||||
override fun check(declaration: FirRegularClass, context: CheckerContext, reporter: DiagnosticReporter) {
|
override fun check(declaration: FirClass<*>, context: CheckerContext, reporter: DiagnosticReporter) {
|
||||||
val typeCheckerContext = context.session.typeContext.newBaseTypeCheckerContext(
|
val typeCheckerContext = context.session.typeContext.newBaseTypeCheckerContext(
|
||||||
errorTypesEqualToAnything = false,
|
errorTypesEqualToAnything = false,
|
||||||
stubTypesEqualToAnything = false
|
stubTypesEqualToAnything = false
|
||||||
|
|||||||
+1
-1
@@ -37,6 +37,7 @@ object CommonDeclarationCheckers : DeclarationCheckers() {
|
|||||||
)
|
)
|
||||||
|
|
||||||
override val classCheckers: Set<FirClassChecker> = setOf(
|
override val classCheckers: Set<FirClassChecker> = setOf(
|
||||||
|
FirOverrideChecker,
|
||||||
FirThrowableSubclassChecker,
|
FirThrowableSubclassChecker,
|
||||||
)
|
)
|
||||||
|
|
||||||
@@ -51,7 +52,6 @@ object CommonDeclarationCheckers : DeclarationCheckers() {
|
|||||||
FirLocalEntityNotAllowedChecker,
|
FirLocalEntityNotAllowedChecker,
|
||||||
FirManyCompanionObjectsChecker,
|
FirManyCompanionObjectsChecker,
|
||||||
FirMethodOfAnyImplementedInInterfaceChecker,
|
FirMethodOfAnyImplementedInInterfaceChecker,
|
||||||
FirOverrideChecker,
|
|
||||||
FirPrimaryConstructorRequiredForDataClassChecker,
|
FirPrimaryConstructorRequiredForDataClassChecker,
|
||||||
FirSupertypeInitializedInInterfaceChecker,
|
FirSupertypeInitializedInInterfaceChecker,
|
||||||
FirSupertypeInitializedWithoutPrimaryConstructor,
|
FirSupertypeInitializedWithoutPrimaryConstructor,
|
||||||
|
|||||||
@@ -1,17 +0,0 @@
|
|||||||
enum class EnumWithOpenMembers {
|
|
||||||
E1 {
|
|
||||||
override fun foo() = 1
|
|
||||||
override val bar: String = "a"
|
|
||||||
},
|
|
||||||
|
|
||||||
E2 {
|
|
||||||
override fun f() = 3
|
|
||||||
override val b = 4
|
|
||||||
};
|
|
||||||
|
|
||||||
open fun foo() = 1
|
|
||||||
open val bar: String = ""
|
|
||||||
|
|
||||||
fun f() = 2
|
|
||||||
val b = 3
|
|
||||||
}
|
|
||||||
@@ -1,3 +1,4 @@
|
|||||||
|
// FIR_IDENTICAL
|
||||||
enum class EnumWithOpenMembers {
|
enum class EnumWithOpenMembers {
|
||||||
E1 {
|
E1 {
|
||||||
override fun foo() = 1
|
override fun foo() = 1
|
||||||
|
|||||||
+2
-2
@@ -21,12 +21,12 @@ fun case1() {
|
|||||||
override var a: Any
|
override var a: Any
|
||||||
get() = TODO()
|
get() = TODO()
|
||||||
set(value) {}
|
set(value) {}
|
||||||
override val b: Any
|
override <!VAR_OVERRIDDEN_BY_VAL!>val<!> b: Any
|
||||||
get() = TODO()
|
get() = TODO()
|
||||||
override var c: Any
|
override var c: Any
|
||||||
get() = TODO()
|
get() = TODO()
|
||||||
set(value) {}
|
set(value) {}
|
||||||
override val d: Any
|
override <!VAR_OVERRIDDEN_BY_VAL!>val<!> d: Any
|
||||||
get() = TODO()
|
get() = TODO()
|
||||||
|
|
||||||
override fun foo() {}
|
override fun foo() {}
|
||||||
|
|||||||
Reference in New Issue
Block a user