Wrong specialization diagnostic is reported on java default inheritance

compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/checkers/JvmDefaultChecker.kt

@@ -154,7 +154,7 @@ class JvmDefaultChecker(val jvmTarget: JvmTarget, project: Project) : Declaratio
         declaration: KtDeclaration,
         performSpecializationCheck: Boolean
     ): Boolean {
-        if (!performSpecializationCheck) return true
+        if (!performSpecializationCheck || actualImplementation is JavaMethodDescriptor) return true
         val inheritedSignature = inheritedFun.computeJvmDescriptor(withReturnType = true, withName = false)
         val originalImplementation = actualImplementation.original
         val actualSignature = originalImplementation.computeJvmDescriptor(withReturnType = true, withName = false)

compiler/testData/compileKotlinAgainstCustomBinaries/jvmDefaultCompatibilityAgainsJava/library/test/JavaInterface.java

@@ -0,0 +1,7 @@
+package test;
+
+public interface JavaInterface<T> {
+    default T test(T p) {
+        return p;
+    }
+}

compiler/testData/compileKotlinAgainstCustomBinaries/jvmDefaultCompatibilityAgainsJava/library/test/JavaInterface2.java

@@ -0,0 +1,5 @@
+package test;
+
+public interface JavaInterface2<T> extends JavaInterface<T> {
+
+}

compiler/testData/compileKotlinAgainstCustomBinaries/jvmDefaultCompatibilityAgainsJava/output.txt

@@ -0,0 +1 @@
+OK

compiler/testData/compileKotlinAgainstCustomBinaries/jvmDefaultCompatibilityAgainsJava/source.kt

@@ -0,0 +1,25 @@
+import test.*
+
+interface KotlinInterface<K> : JavaInterface<String> {
+
+}
+
+interface KotlinInterface2 : JavaInterface2<String> {
+
+}
+
+open class KotlinClass : JavaInterface<String> {
+
+}
+
+open class KotlinClass2 : JavaInterface2<String> {
+
+}
+
+open class KotlinClass_2 : KotlinClass() {
+
+}
+
+open class KotlinClass2_2 : KotlinClass2() {
+
+}

compiler/tests/org/jetbrains/kotlin/jvm/compiler/CompileKotlinAgainstCustomBinariesTest.kt

@@ -632,6 +632,11 @@ class CompileKotlinAgainstCustomBinariesTest : AbstractKotlinCompilerIntegration
         compileKotlin("source.kt", tmpdir, listOf(library), additionalOptions = listOf("-jvm-target", "1.8", "-Xjvm-default=all"))
     }
 
+    fun testJvmDefaultCompatibilityAgainstJava() {
+        val library = compileLibrary("library", additionalOptions = listOf("-Xjvm-default=disable"))
+        compileKotlin("source.kt", tmpdir, listOf(library), additionalOptions = listOf("-jvm-target", "1.8", "-Xjvm-default=all-compatibility"))
+    }
+
     fun testInternalFromForeignModuleJs() {
         compileKotlin("source.kt", File(tmpdir, "usage.js"), listOf(compileJsLibrary("library")), K2JSCompiler())
     }