[FIR] Ensure K2 reports redundant diagnostics for default values

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

@@ -24684,6 +24684,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndNamesInSupertypes.kt");
             }
 
+            @Test
+            @TestMetadata("MultipleDefaultsAndSubstitutionOverrides.kt")
+            public void testMultipleDefaultsAndSubstitutionOverrides() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.kt");
+            }
+
             @Test
             @TestMetadata("MultipleDefaultsInSupertypesNoExplicitOverride.kt")
             public void testMultipleDefaultsInSupertypesNoExplicitOverride() throws Exception {

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

@@ -24684,6 +24684,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndNamesInSupertypes.kt");
             }
 
+            @Test
+            @TestMetadata("MultipleDefaultsAndSubstitutionOverrides.kt")
+            public void testMultipleDefaultsAndSubstitutionOverrides() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.kt");
+            }
+
             @Test
             @TestMetadata("MultipleDefaultsInSupertypesNoExplicitOverride.kt")
             public void testMultipleDefaultsInSupertypesNoExplicitOverride() throws Exception {

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

@@ -24684,6 +24684,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndNamesInSupertypes.kt");
             }
 
+            @Test
+            @TestMetadata("MultipleDefaultsAndSubstitutionOverrides.kt")
+            public void testMultipleDefaultsAndSubstitutionOverrides() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.kt");
+            }
+
             @Test
             @TestMetadata("MultipleDefaultsInSupertypesNoExplicitOverride.kt")
             public void testMultipleDefaultsInSupertypesNoExplicitOverride() throws Exception {

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

@@ -24690,6 +24690,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndNamesInSupertypes.kt");
             }
 
+            @Test
+            @TestMetadata("MultipleDefaultsAndSubstitutionOverrides.kt")
+            public void testMultipleDefaultsAndSubstitutionOverrides() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.kt");
+            }
+
             @Test
             @TestMetadata("MultipleDefaultsInSupertypesNoExplicitOverride.kt")
             public void testMultipleDefaultsInSupertypesNoExplicitOverride() throws Exception {

compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.fir.kt

@@ -0,0 +1,15 @@
+interface A<T> {
+    fun foo(x: Int = 42): Int
+}
+
+open class B<K> {
+    fun foo(x: Int = 239) = x
+}
+
+interface C<E> {
+    fun foo(x: Int): Int
+}
+
+open <!MULTIPLE_DEFAULTS_INHERITED_FROM_SUPERTYPES_WHEN_NO_EXPLICIT_OVERRIDE!>class Z<!><R> : A<R>, B<R>(), C<R>
+
+<!MULTIPLE_DEFAULTS_INHERITED_FROM_SUPERTYPES_WHEN_NO_EXPLICIT_OVERRIDE_DEPRECATION_WARNING!>class N<!><W> : Z<W>()

compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.kt

@@ -0,0 +1,15 @@
+interface A<T> {
+    fun foo(x: Int = 42): Int
+}
+
+open class B<K> {
+    fun foo(x: Int = 239) = x
+}
+
+interface C<E> {
+    fun foo(x: Int): Int
+}
+
+open <!MULTIPLE_DEFAULTS_INHERITED_FROM_SUPERTYPES_WHEN_NO_EXPLICIT_OVERRIDE!>class Z<!><R> : A<R>, B<R>(), C<R>
+
+class N<W> : Z<W>()

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

@@ -26472,6 +26472,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndNamesInSupertypes.kt");
             }
 
+            @Test
+            @TestMetadata("MultipleDefaultsAndSubstitutionOverrides.kt")
+            public void testMultipleDefaultsAndSubstitutionOverrides() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/override/MultipleDefaultsAndSubstitutionOverrides.kt");
+            }
+
             @Test
             @TestMetadata("MultipleDefaultsInSupertypesNoExplicitOverride.kt")
             public void testMultipleDefaultsInSupertypesNoExplicitOverride() throws Exception {