[FE] Prohibit implementing java sealed classes

2020-11-24 12:24:50 +03:00
parent 6809adee9c
commit 1c9f9130e6
8 changed files with 99 additions and 1 deletions
@@ -0,0 +1,11 @@
+// ISSUE: KT-41215
+
+// FILE: Base.java
+public sealed class Base permits A, B {}
+
+// FILE: A.java
+public final class A extends Base {}
+
+// FILE: B.kt
+
+class B : <!CLASS_INHERITS_JAVA_SEALED_CLASS!>Base<!>()