mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
GitOrigin-RevId: 6e68f66952d5a995a260f4c235fb48cd1217cdf3
4 lines
114 B
Java
4 lines
114 B
Java
// "Make 'Child' extend 'Parent'" "true-preview"
|
|
sealed class Parent permits C<caret>hild {}
|
|
|
|
final class Child {} |