Annotations on record declarations

[Werner Dietl]

Gavin, all,

following-up on
https://mail.openjdk.java.net/pipermail/compiler-dev/2019-November/013939.html.

Section 9.7.4 http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191121/specs/records-jls.html#jls-9.7.4
states:

"or an annotation that applies to a class, interface, enum, record,
annotation type"

Should the description of ElementType.TYPE at
http://hg.openjdk.java.net/jdk/jdk/file/bb0a7975b31d/src/java.base/share/classes/java/lang/annotation/ElementType.java#l74

be changed from

"/** Class, interface (including annotation type), or enum declaration */"

to

"/** Class, interface (including annotation type), enum, or record
declaration */"

or something like that?

Thanks,
cu, WMD.

-- 
https://ece.uwaterloo.ca/~wdietl/