Test for required class

compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/require.kt

@@ -0,0 +1,7 @@
+open class C {
+    val x = 1
+}
+
+trait Tr : C {
+    <!ACCIDENTAL_OVERRIDE!>fun getX()<!> = 1
+}

compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java

@@ -2603,6 +2603,11 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                     doTest("compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/privateClassFunctionOverriddenByProperty.kt");
                 }
                 
+                @TestMetadata("require.kt")
+                public void testRequire() throws Exception {
+                    doTest("compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/require.kt");
+                }
+                
                 @TestMetadata("traitFunctionOverriddenByProperty.kt")
                 public void testTraitFunctionOverriddenByProperty() throws Exception {
                     doTest("compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/traitFunctionOverriddenByProperty.kt");