Is there a way to get an annotation like ConstructorProperties that has @Target(CONSTRUCTOR)
to annotate the generated constructor of a java 16 record? E.g.:
@ConstructorProperties({"id", "filename"})
public record Person(long id, String filename) {}
This ^ causes the following error:
java: annotation type not applicable to this kind of declaration