kotlin-fork/idea/testData/codeInsight/overrideImplement/overrideExplicitProperty.kt

trait A {
    val String.prop : Int
}

class B : A {
    <caret>
}