idea/testData/codeInsight/overrideImplement/overrideExtensionProperty.kt.after

interface A {
    val String.prop : Int
}

class B : A {
    override val String.prop: Int
        get() = <selection><caret>TODO("not implemented") //To change initializer of created properties use File | Settings | File Templates.</selection>
}