Varargs records

Brian Goetz brian.goetz at
Thu Aug 15 18:35:16 UTC 2019

As I was writing some tests for records, it occurs to me that we never 
explicitly discussed whether we should support _varargs_ records, such as:

     record StringBunch(String... strings) { }

The translation would be straightforward:
  - The type of the strings field is String[]
  - The return type of the strings accessor is String[]
  - The canonical constructor is of descriptor (String...) rather than 
(String[]), allowing varargs invocation of the constructor.
  - There would be the usual restriction that there can be only one 
varargs argument, and it must be last.

So this seems feasible.  Is this something we want?

More information about the amber-spec-experts mailing list