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

 // FIR_IDENTICAL
 interface T {
     val v : Int
 }

 class GC() : T {
     <caret>
 }
	// FIR_IDENTICAL
	interface T {
	val v : Int
	}

	class GC() : T {
	<caret>
	}