mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Frederik HaselmeierandMichail Zarečenskij
964aee9f61
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
3 lines
191 B
Plaintext
3 lines
191 B
Plaintext
// FIX: Convert sealed subclass to object
|
|
// COMPILER_ARGUMENTS: -XXLanguage:+SealedInterfaces -XXLanguage:+AllowSealedInheritorsInDifferentFilesOfSamePackage
|
|
data object SubSealed : Sealed() |