// FIX: Convert sealed subclass to object
// COMPILER_ARGUMENTS: -XXLanguage:+SealedInterfaces -XXLanguage:+AllowSealedInheritorsInDifferentFilesOfSamePackage
data object SubSealed : Sealed()