8253385: annotation processors remove varargs information from record components

Reviewed-by: jjg

Author: Vicente Romero

src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java

@@ -1785,19 +1785,27 @@ public static class RecordComponent extends VarSymbol implements RecordComponent
          */
         private final int pos;
 
+        private final boolean isVarargs;
+
         /**
          * Construct a record component, given its flags, name, type and owner.
          */
         public RecordComponent(JCVariableDecl fieldDecl, List<JCAnnotation> annotations) {
             super(PUBLIC, fieldDecl.sym.name, fieldDecl.sym.type, fieldDecl.sym.owner);
             this.originalAnnos = annotations;
             this.pos = fieldDecl.pos;
+            /* it is better to store the original information for this one, instead of relying
+             * on the info in the type of the symbol. This is because on the presence of APs
+             * the symbol will be blown out and we won't be able to know if the original
+             * record component was declared varargs or not.
+             */
+            this.isVarargs = type.hasTag(TypeTag.ARRAY) && ((ArrayType)type).isVarargs();
         }
 
         public List<JCAnnotation> getOriginalAnnos() { return originalAnnos; }
 
         public boolean isVarargs() {
-            return type.hasTag(TypeTag.ARRAY) && ((ArrayType)type).isVarargs();
+            return isVarargs;
         }
 
         @Override @DefinedBy(Api.LANGUAGE_MODEL)

test/langtools/tools/javac/records/RecordCompilationTests.java

@@ -1672,4 +1672,39 @@ record R() implements java.io.Serializable {}
             removeLastCompileOptions(2);
         }
     }
+
+    public void testAnnotationsOnVarargsRecComp() {
+        assertOK(
+                """
+                import java.lang.annotation.*;
+
+                @Target({ElementType.TYPE_USE})
+                @interface Simple {}
+
+                record R(@Simple int... val) {
+                    static void test() {
+                        R rec = new R(10, 20);
+                    }
+                }
+                """
+        );
+        assertOK(
+                """
+                import java.lang.annotation.*;
+
+                @Target({ElementType.TYPE_USE})
+                @interface SimpleContainer{ Simple[] value(); }
+
+                @Repeatable(SimpleContainer.class)
+                @Target({ElementType.TYPE_USE})
+                @interface Simple {}
+
+                record R(@Simple int... val) {
+                    static void test() {
+                        R rec = new R(10, 20);
+                    }
+                }
+                """
+        );
+    }
 }