| // SKIP_TXT | |
| // FIR_IDENTICAL | |
| // ISSUE: KT-57092 | |
| interface InterfaceWithDefault { | |
| val hostKind: Int get() = 24 | |
| } | |
| interface SubInterfaceWithoutDefault : InterfaceWithDefault { | |
| // SubInterfaceWithoutDefault.hostKind subsumes InterfaceWithDefault.hostKind, therefore no error. | |
| override val hostKind: Int | |
| } | |
| open class ClassWithDefault : InterfaceWithDefault { | |
| override val hostKind: Int get() = 42 | |
| } | |
| class InheritsAll : | |
| ClassWithDefault(), | |
| SubInterfaceWithoutDefault, | |
| InterfaceWithDefault |