compiler/testData/loadJava/compiledKotlin/prop/OverrideTraitVal.kt - third_party/github/JetBrains/kotlin - Git at Google

 //ALLOW_AST_ACCESS
 package test

 interface Trait {
     val shape: String
 }

 open class Subclass() : Trait {
     override open val shape = "circle"
 }
	//ALLOW_AST_ACCESS
	package test

	interface Trait {
	val shape: String
	}

	open class Subclass() : Trait {
	override open val shape = "circle"
	}