Proper checks for missing implementation of abstract method in records (IDEA-228460, IDEA-CR-56772)

GitOrigin-RevId: 1be11a80e1721116959dc24cb79c9feb4065f4ef

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingRecords/RecordBasics.java

@@ -15,6 +15,10 @@ class AnonymousExtendsJLR {
     public String toString() {return "";}
   };
 }
+<error descr="Class 'SuperInterface' must implement abstract method 'run()' in 'Runnable'">record SuperInterface() implements Runnable</error> {}
+interface I1 { default void run() {}}
+interface I2 { void run();}
+record <error descr="Class 'UnrelatedDefaults' must implement abstract method 'run()' in 'I2'">UnrelatedDefaults</error>() implements I1, I2 {}
 
 record ComponentModifiers(
   <error descr="Modifier 'public' not allowed here">public</error> int x, 

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/modifier/beforeAbstractRecord.java

@@ -0,0 +1,3 @@
+// "Make 'Rec' abstract" "false"
+record R<caret>ec() implements Runnable {
+}