From 62d0060f0d3d005d092ec91fe891420536d276d2 Mon Sep 17 00:00:00 2001 From: Nikolay Lunyak Date: Tue, 27 Jun 2023 15:45:19 +0300 Subject: [PATCH] [FIR] Remove the TODO in `FirDelegatedPropertyChecker` This TODO is unclear, and since we don't really care what should happen to the unreachable code, it can be ignored. --- .../checkers/declaration/FirTopLevelPropertiesChecker.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirTopLevelPropertiesChecker.kt b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirTopLevelPropertiesChecker.kt index 80ccbcbd7c9..12af0abc436 100644 --- a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirTopLevelPropertiesChecker.kt +++ b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirTopLevelPropertiesChecker.kt @@ -150,7 +150,7 @@ internal fun checkPropertyInitializer( ) { if (property.receiverParameter != null && !property.hasAnyAccessorImplementation) { reporter.reportOn(propertySource, FirErrors.EXTENSION_PROPERTY_MUST_HAVE_ACCESSORS_OR_BE_ABSTRACT, context) - } else if (reachable) { // TODO: can be suppressed not to report diagnostics about no body + } else if (reachable) { reportMustBeInitialized(property, isDefinitelyAssignedInConstructor, containingClass, propertySource, reporter, context) } }