idea/testData/codeInsight/overrideImplement/property.kt - third_party/github/JetBrains/kotlin - Git at Google

 interface T {
     val v : Int
 }

 class GC() : T {
     <caret>
 }