compiler/testData/diagnostics/tests/override/DelegationVal.kt - third_party/github/JetBrains/kotlin - Git at Google

 // FIR_IDENTICAL
 package delegation

 interface Aaa {
     val i: Int
 }

 class Bbb(aaa: Aaa) : Aaa by aaa
	// FIR_IDENTICAL
	package delegation

	interface Aaa {
	val i: Int
	}

	class Bbb(aaa: Aaa) : Aaa by aaa