mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-11-13 00:33:59 +07:00
java sealed types: increase language level (IDEA-243474)
ensure records can be used with java 15 as well GitOrigin-RevId: 5716dddb35ad9b2349e6558460897d650740fe1c
This commit is contained in:
1 parent
584d51bcac
commit
9dd5c364a6
6 files changed
+48
-11
No files matched your search
+1
@@ -0,0 +1 @@
|
||||
se<caret>aled class C {}
|
||||
Reference in new issue
Block a user