Generate synthetic method for @JvmDefault properties in DefaultImpls

compiler/testData/codegen/java8/compileKotlinAgainstKotlin/jvm8/defaults/superCallFromInterface2.kt

@@ -0,0 +1,28 @@
+// !API_VERSION: 1.3
+// !JVM_DEFAULT_MODE: enable
+// JVM_TARGET: 1.8
+// WITH_RUNTIME
+// FILE: 1.kt
+interface Test {
+    @JvmDefault
+    fun test(): String {
+        return "OK"
+    }
+
+    fun defaultImplTrigger(): String {
+        return "OK"
+    }
+}
+
+// FILE: 2.kt
+
+interface Test2 : Test {
+    @JvmDefault
+    override fun test(): String {
+        return super.test()
+    }
+}
+
+fun box(): String {
+    return object : Test2 {}.test()
+}

compiler/testData/codegen/java8/compileKotlinAgainstKotlin/jvm8/defaults/superPropAccessFromInterface2.kt

@@ -0,0 +1,24 @@
+// !API_VERSION: 1.3
+// !JVM_DEFAULT_MODE: enable
+// JVM_TARGET: 1.8
+// WITH_RUNTIME
+// FILE: 1.kt
+interface Test {
+    @JvmDefault
+    val prop: String
+        get() =  "OK"
+
+    val defaultImplTrigger: String
+        get() =  "OK"
+}
+
+// FILE: 2.kt
+interface Test2 : Test {
+    @JvmDefault
+    override val prop: String
+        get() = super.prop
+}
+
+fun box(): String {
+    return object : Test2 {}.prop
+}

compiler/testData/codegen/java8/writeFlags/defaults/compatibility/propertyAnnotation.kt

@@ -0,0 +1,21 @@
+// !API_VERSION: 1.3
+// !JVM_DEFAULT_MODE: compatibility
+// JVM_TARGET: 1.8
+// WITH_RUNTIME
+
+annotation class Property(val value: String)
+
+interface Test {
+    @Property("OK")
+    @JvmDefault
+    val test: String
+        get() = "OK"
+}
+
+// TESTED_OBJECT_KIND: function
+// TESTED_OBJECTS: Test, test$annotations
+// ABSENT: TRUE
+
+// TESTED_OBJECT_KIND: function
+// TESTED_OBJECTS: Test$DefaultImpls, test$annotations
+// FLAGS: ACC_PUBLIC, ACC_STATIC, ACC_SYNTHETIC, ACC_DEPRECATED

compiler/testData/codegen/java8/writeFlags/defaults/propertyAnnotation.kt

@@ -0,0 +1,23 @@
+// !API_VERSION: 1.3
+// !JVM_DEFAULT_MODE: enable
+// JVM_TARGET: 1.8
+// WITH_RUNTIME
+
+annotation class Property(val value: String)
+
+interface Test {
+    @Property("OK")
+    @JvmDefault
+    val test: String
+        get() = "OK"
+
+    fun stub() {}
+}
+
+// TESTED_OBJECT_KIND: function
+// TESTED_OBJECTS: Test, test$annotations
+// ABSENT: TRUE
+
+// TESTED_OBJECT_KIND: function
+// TESTED_OBJECTS: Test$DefaultImpls, test$annotations
+// FLAGS: ACC_PUBLIC, ACC_STATIC, ACC_SYNTHETIC, ACC_DEPRECATED