mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 02:24:00 +07:00
GitOrigin-RevId: 3942585b2071cb81733080dee122913cdac001f1
4 lines
94 B
Java
4 lines
94 B
Java
// "Unimplement" "true-preview"
|
|
sealed class A permits B {}
|
|
|
|
final class B extends <caret>A {} |