ReadKotlinBinaryClassTest: override val test

compiler/testData/readKotlinBinaryClass/prop/OverrideClassVal.kt

@@ -0,0 +1,9 @@
+package test
+
+open class BaseClass() {
+    open val shape = "square"
+}
+
+open class Subclass() : BaseClass() {
+    override open val shape = "circle"
+}

compiler/testData/readKotlinBinaryClass/prop/OverrideClassVal.txt

@@ -0,0 +1,10 @@
+namespace test
+
+open class test.Subclass : test.BaseClass {
+    final /*constructor*/ fun <init>(): test.Subclass
+    open val shape: jet.String
+}
+open class test.BaseClass : jet.Any {
+    final /*constructor*/ fun <init>(): test.BaseClass
+    open val shape: jet.String
+}

compiler/testData/readKotlinBinaryClass/prop/OverrideTraitVal.kt

@@ -0,0 +1,9 @@
+package test
+
+trait Trait {
+    val shape: String
+}
+
+open class Subclass() : Trait {
+    override open val shape = "circle"
+}

compiler/testData/readKotlinBinaryClass/prop/OverrideTraitVal.txt

@@ -0,0 +1,9 @@
+namespace test
+
+open class test.Subclass : test.Trait {
+    final /*constructor*/ fun <init>(): test.Subclass
+    open val shape: jet.String
+}
+abstract trait test.Trait : jet.Any {
+    abstract val shape: jet.String
+}