Fields and methods of a record are marked MANDATED

[Joe Darcy]

A mandated construct is one that is mandated by the specification, but not explicitly declared. Constructs of that sort have been in the platform since the beginning, such as default constructors. ACC_MANDATED was added to the platform only more recently and has some exposure through javax.lang.model.

I recommend going forward ACC_MANDATED to be used more widely, on all the mandated structures, including the values methods on enum types, etc.

Cheers,

-Joe

On 10/10/2019 8:50 AM, Brian Goetz wrote:
> We should match the behavior of methods like `Enum::values`.
>
>> On Oct 10, 2019, at 10:15 AM, Remi Forax <forax at univ-mlv.fr> wrote:
>>
>> Hi all,
>> fields and methods of a record are marked ACC_MANDATED which contradict JLS 13.1.12 that explains that you can not use ACC_MANDATED on field and method.
>>
>> regards,
>> Rémi
>>