// COMPILER_ARGUMENTS: -XXLanguage:+DataObjects

sealed class Seal(val x: Int)
data object Foo : Seal(1)