[FIR] Reproduce one more failure for KT-65972 #3

^KT-65972

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

@@ -639,6 +639,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
       runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaOverriddenByIntersectionInKotlin.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt")
+    public void testIntersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.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

@@ -639,6 +639,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
       runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaOverriddenByIntersectionInKotlin.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt")
+    public void testIntersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

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

@@ -639,6 +639,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
       runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaOverriddenByIntersectionInKotlin.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt")
+    public void testIntersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

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

@@ -639,6 +639,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
       runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaOverriddenByIntersectionInKotlin.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt")
+    public void testIntersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {

compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.fir.kt

@@ -0,0 +1,29 @@
+// FILE: JvmElement.java
+public interface JvmElement {
+    default void accept() {}
+}
+
+// FILE: JvmMember.java
+public interface JvmMember extends JvmElement {
+    default void accept() {}
+}
+
+// FILE: PsiJvmMember.java
+// Provides a phantom IO
+public interface PsiJvmMember extends JvmMember, JvmElement {}
+
+// FILE: PsiTypeParameterListOwner.java
+// Must also provide a phantom IO
+public interface PsiTypeParameterListOwner extends PsiJvmMember, JvmMember {}
+
+// FILE: JvmClass.java
+public interface JvmClass extends JvmMember, JvmElement {
+    default void accept() {}
+}
+
+// FILE: PsiClass.java
+public interface PsiClass extends PsiTypeParameterListOwner, JvmClass {}
+
+// FILE: Main.kt
+
+<!CANNOT_INFER_VISIBILITY!>class K<!> : PsiClass

compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt

@@ -0,0 +1,29 @@
+// FILE: JvmElement.java
+public interface JvmElement {
+    default void accept() {}
+}
+
+// FILE: JvmMember.java
+public interface JvmMember extends JvmElement {
+    default void accept() {}
+}
+
+// FILE: PsiJvmMember.java
+// Provides a phantom IO
+public interface PsiJvmMember extends JvmMember, JvmElement {}
+
+// FILE: PsiTypeParameterListOwner.java
+// Must also provide a phantom IO
+public interface PsiTypeParameterListOwner extends PsiJvmMember, JvmMember {}
+
+// FILE: JvmClass.java
+public interface JvmClass extends JvmMember, JvmElement {
+    default void accept() {}
+}
+
+// FILE: PsiClass.java
+public interface PsiClass extends PsiTypeParameterListOwner, JvmClass {}
+
+// FILE: Main.kt
+
+class K : PsiClass

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

@@ -639,6 +639,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
       runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaOverriddenByIntersectionInKotlin.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt")
+    public void testIntersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed() {
+      runTest("compiler/testData/diagnostics/tests/intersectionWithMultipleDefaultsInJavaWithAdditionalSymbolsAfterNonSubsumed.kt");
+    }
+
     @Test
     @TestMetadata("invalidTargetCrashesCompiler.kt")
     public void testInvalidTargetCrashesCompiler() {