Add check that @JvmRecord classes cannot inherit other classes

^KT-43677 In Progress
2020-11-25 18:20:55 +03:00
parent 4f5db241ea
commit 85962d8312
7 changed files with 102 additions and 0 deletions
@@ -49,5 +49,10 @@ public class DiagnosticsWithJdk15TestGenerated extends AbstractDiagnosticsWithJd
        public void testDisabledFeature() throws Exception {
            runTest("compiler/testData/diagnostics/testsWithJava15/jvmRecord/disabledFeature.kt");
        }
+
+        @TestMetadata("supertypesCheck.kt")
+        public void testSupertypesCheck() throws Exception {
+            runTest("compiler/testData/diagnostics/testsWithJava15/jvmRecord/supertypesCheck.kt");
+        }
    }
 }