Fields and methods of a record are marked MANDATED

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

Previous message: PatternHandle in record
Next message: Fields and methods of a record are marked MANDATED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: PatternHandle in record
Next message: Fields and methods of a record are marked MANDATED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the amber-spec-experts mailing list