[FIR] Reproduce KT-65972

This code does lead to inferring
`Visibilities.Unknown`, but it's not
reported anywhere. This is because it
happens inside `AbstractIntSet` which
comes to us "pre-compiled" by javac,
whereas `FirOverrideChecker` only checks
members within `KotlinClass`.

^KT-65972

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java

@@ -627,6 +627,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
       runTest("compiler/testData/diagnostics/tests/inlineDeprecationsOnImplicitCalls.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJava.kt")
+    public void testIntersectionWithMultipleDefaultsInJava() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJava.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java

@@ -627,6 +627,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
       runTest("compiler/testData/diagnostics/tests/inlineDeprecationsOnImplicitCalls.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJava.kt")
+    public void testIntersectionWithMultipleDefaultsInJava() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJava.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -627,6 +627,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
       runTest("compiler/testData/diagnostics/tests/inlineDeprecationsOnImplicitCalls.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJava.kt")
+    public void testIntersectionWithMultipleDefaultsInJava() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJava.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -627,6 +627,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
       runTest("compiler/testData/diagnostics/tests/inlineDeprecationsOnImplicitCalls.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJava.kt")
+    public void testIntersectionWithMultipleDefaultsInJava() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJava.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJava.kt

@@ -0,0 +1,35 @@
+// FIR_IDENTICAL
+// TARGET_BACKEND: JVM
+
+// FILE: IntCollection.java
+interface IntCollection<E> {
+    public boolean add(int key);
+}
+
+// FILE: IntSet.java
+interface IntSet extends IntCollection {
+    public default boolean add(Integer it) { return true; }
+
+    // from the supertype
+    // public boolean add(int key);
+}
+
+// FILE: AbstractCollection.java
+abstract class AbstractCollection<E> {
+    public boolean add(E it) { return true; }
+}
+
+// FILE: AbstractIntCollection.java
+abstract class AbstractIntCollection extends AbstractCollection<Integer> {
+    public boolean add(int it) { return true; }
+
+    // from the supertype
+    // public default boolen add(Integer it) { return true; }
+}
+
+// FILE: AbstractIntSet.java
+public abstract class AbstractIntSet extends AbstractIntCollection implements IntSet {}
+
+// FILE: Main.kt
+
+class KotlinClass : AbstractIntSet()

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -627,6 +627,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
       runTest("compiler/testData/diagnostics/tests/inlineDeprecationsOnImplicitCalls.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJava.kt")
+    public void testIntersectionWithMultipleDefaultsInJava() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJava.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {