Fields and methods of a record are marked MANDATED

Remi Forax forax at univ-mlv.fr
Thu Oct 10 14:15:03 UTC 2019


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



More information about the amber-spec-experts mailing list