// JVM_DEFAULT_MODE: enable

interface IFoo {
    @Deprecated("")
    val prop: String get() = ""

    @Deprecated("")
    val String.extProp: String get() = ""
}

interface IFoo2 : IFoo

class Delegated(foo: IFoo) : IFoo by foo

class Delegated2(foo2: IFoo2) : IFoo2 by foo2

class DefaultImpl : IFoo

class DefaultImpl2 : IFoo2

class ExplicitOverride : IFoo {
    override val prop: String get() = ""
    override val String.extProp: String get() = ""
}

class ExplicitOverride2 : IFoo2 {
    override val prop: String get() = ""
    override val String.extProp: String get() = ""
}
