mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
KTIJ-26250 Co-authored-by: Michail Zarečenskij <Mikhail.Zarechenskiy@jetbrains.com> Merge-request: IJ-MR-111173 Merged-by: Frederik Haselmeier <Frederik.Haselmeier@jetbrains.com> GitOrigin-RevId: 0f9a403c32a2ba8b8a33ccec6bf68cc7d3f67f24
5 lines
96 B
Plaintext
5 lines
96 B
Plaintext
// FIX: Convert sealed subclass to object
|
|
|
|
sealed class Sealed
|
|
|
|
data object SubSealed : Sealed() |