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

 // FIR_IDENTICAL
 interface A {
     var Int.foo : Double
 }

 class B : A {
     <caret>
 }
	// FIR_IDENTICAL
	interface A {
	var Int.foo : Double
	}

	class B : A {
	<caret>
	}