openide/plugins/kotlin/idea/tests/testData/codeInsight/overrideImplement/property.kt.after

// FIR_IDENTICAL
interface T {
    val v : Int
}

class GC() : T {
    override val v: Int
        get() = <selection><caret>TODO("Not yet implemented")</selection>
}

// MEMBER: "v: Int"