// PROBLEM: none // COMPILER_ARGUMENTS: -XXLanguage:+DataObjects object Foo : Bar() open class Bar