From 70dbccb95eba2f6145d6bbe514ab3eb385091499 Mon Sep 17 00:00:00 2001
From: Michael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Tue, 4 Oct 2016 12:25:03 +0300
Subject: [PATCH] Sealed modality support

---
 .../org/jetbrains/kotlin/backend/jvm/codegen/ClassCodegen.kt  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/ir/backend.jvm/src/org/jetbrains/kotlin/backend/jvm/codegen/ClassCodegen.kt b/compiler/ir/backend.jvm/src/org/jetbrains/kotlin/backend/jvm/codegen/ClassCodegen.kt
index 5f9a459453c..f32294c8022 100644
--- a/compiler/ir/backend.jvm/src/org/jetbrains/kotlin/backend/jvm/codegen/ClassCodegen.kt
+++ b/compiler/ir/backend.jvm/src/org/jetbrains/kotlin/backend/jvm/codegen/ClassCodegen.kt
@@ -225,7 +225,9 @@ val MemberDescriptor.effectiveModality: Modality
                 return Modality.ABSTRACT
             }
         }
-        if (DescriptorUtils.isAnnotationClass(this) || DescriptorUtils.isAnnotationClass(this.containingDeclaration)) {
+        if (DescriptorUtils.isSealedClass(this) ||
+            DescriptorUtils.isAnnotationClass(this) ||
+            DescriptorUtils.isAnnotationClass(this.containingDeclaration)) {
             return Modality.ABSTRACT
         }