analysis/low-level-api-fir/testData/repl/snippetClasses.jupyter.kts - third_party/github/JetBrains/kotlin - Git at Google

 interface A {
     val str: String
         get() = "a"
 }

 class AB : A {
     override val str: String
         get() = super.str + "B"
 }

 val a = AB()
 a.str<caret>
	interface A {
	val str: String
	get() = "a"
	}

	class AB : A {
	override val str: String
	get() = super.str + "B"
	}

	val a = AB()
	a.str<caret>