Merge pull request #13542 from igfoo/igfoo/modality_final

Kotlin: Remove an expected-no-getter exception
2025-12-17 01:03:14 +01:00 · 2023-06-27 15:41:27 +01:00
parent 085c85fe32 0d05f50aaa
commit 4415c364ac
1 changed files with 1 additions and 1 deletions
--- a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
+++ b/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
@@ -1559,7 +1559,7 @@ open class KotlinFileExtractor(
                val setter = p.setter

                if (getter == null) {
-                    if (p.modality != Modality.FINAL || !isExternalDeclaration(p)) {
+                    if (!isExternalDeclaration(p)) {
                        logger.warnElement("IrProperty without a getter", p)
                    }
                } else if (shouldExtractDecl(getter, extractPrivateMembers)) {