class C {
    @Deprecated("", ReplaceWith("bar()"))
    val foo: String
        get() = bar()

    fun bar(): String = ""
}