> De: "Brian Goetz" <brian.go...@oracle.com> > À: "Remi Forax" <fo...@univ-mlv.fr> > Cc: "amber-spec-experts" <amber-spec-experts@openjdk.java.net> > Envoyé: Jeudi 9 Janvier 2020 16:07:50 > Objet: Re: [records] Record updates for Preview/2
>> - @Deprecated on record components > Please outline what you think we want on a separate thread? Currently you can not deprecate a record component unlike in Scala or in Kotlin. We can either allow @Deprecated or pretend that people will never make mistake, change their mind, specification will never change, etc How to fix the issue, - as Dmitry Bessonov said on the amber mailing list, the Deprecated annotation should list ElementType.RECORD_COMPONENT as possible target. - the JVMS should be changed to allow the attribute Deprecated on record_component. Rémi
