mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 01:09:46 +07:00
7 lines
116 B
Java
7 lines
116 B
Java
sealed class Parent permits Foo, B<caret> {}
|
|
|
|
final class Foo extends Parent {}
|
|
|
|
final class Bar extends Parent {}
|
|
|