Generate synthetic annotation method in interface if -Xjvm-default is on

compiler/testData/codegen/box/compileKotlinAgainstKotlin/jvm8/defaults/interop/allAgainsAllCompatibility.kt

@@ -0,0 +1,31 @@
+// WITH_STDLIB
+// JVM_TARGET: 1.8
+
+// MODULE: lib
+// !JVM_DEFAULT_MODE: all-compatibility
+// FILE: 1.kt
+
+interface Foo<T> {
+    fun test(p: T) = "fail"
+    val T.prop: String
+        get() = "fail"
+}
+
+// MODULE: main(lib)
+// !JVM_DEFAULT_MODE: all
+// FILE: main.kt
+interface Foo2: Foo<String> {
+    override fun test(p: String) : String = p
+
+    override val String.prop: String
+        get() = this
+}
+
+interface Foo3: Foo<String>, Foo2
+
+class Base : Foo3
+
+fun box(): String {
+    val base = Base()
+    return base.test("O") + with(base) { "K".prop }
+}

compiler/testData/codegen/box/compileKotlinAgainstKotlin/jvm8/defaults/interop/allCompatibilityAgainsAll.kt

@@ -0,0 +1,30 @@
+// WITH_STDLIB
+// JVM_TARGET: 1.8
+// MODULE: lib
+// !JVM_DEFAULT_MODE: all
+// FILE: 1.kt
+
+interface Foo<T> {
+    fun test(p: T) = "fail"
+    val T.prop: String
+        get() = "fail"
+}
+
+// MODULE: main(lib)
+// !JVM_DEFAULT_MODE: all-compatibility
+// FILE: main.kt
+interface Foo2: Foo<String> {
+    override fun test(p: String) : String = p
+
+    override val String.prop: String
+        get() = this
+}
+
+interface Foo3: Foo<String>, Foo2
+
+class Base : Foo3
+
+fun box(): String {
+    val base = Base()
+    return base.test("O") + with(base) { "K".prop }
+}

compiler/testData/codegen/box/compileKotlinAgainstKotlin/jvm8/defaults/noDefaultImpls/superPropAccessFromInterface.kt

@@ -0,0 +1,20 @@
+// !JVM_DEFAULT_MODE: all
+// JVM_TARGET: 1.8
+// WITH_RUNTIME
+// MODULE: lib
+// FILE: 1.kt
+interface Test {
+    val prop: String
+        get() =  "OK"
+}
+
+// MODULE: main(lib)
+// FILE: 2.kt
+interface Test2 : Test {
+    override val prop: String
+        get() = super.prop
+}
+
+fun box(): String {
+    return object : Test2 {}.prop
+}