idea/testData/decompiler/navigation/usercode/Property.kt - third_party/github/JetBrains/kotlin - Git at Google

 import testData.libraries.*

 fun foo(a : ClassWithAbstractAndOpenMembers) {
     a.abstractVar = "v"
     println(a.abstractVar)
 }
	import testData.libraries.*

	fun foo(a : ClassWithAbstractAndOpenMembers) {
	a.abstractVar = "v"
	println(a.abstractVar)
	}