mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 12:14:37 +07:00
GitOrigin-RevId: 9718672f06b58358200d5d7156adb0081e6154d7
4 lines
97 B
Java
4 lines
97 B
Java
// "Unimplement Class" "true"
|
|
sealed class A permits B {}
|
|
|
|
non-sealed class B extends <caret>A {} |