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 >