Currently the JVMS spec for record doesn't allow a record component to be 
deprecated.

The are several languages, some that run on the JVM like Kotlin or Scala that 
have a similar concept of record components and for all of them they allow to 
deprecate it,
it should be a no brainer to allow a record component to be deprecated but the 
current draft of the spec doesn't allow that [1].

The table 4.7-C the line about the Deprecated attribut should list 
component_info has possible location.

regards,
RĂ©mi

[1] 
http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jvms.html#jvms-4.7

Reply via email to