[records] Record updates for Preview/2

[forax at univ-mlv.fr]

> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "amber-spec-experts" <amber-spec-experts at 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 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200109/7395e110/attachment.htm>