Record attribut should allow Deprecate atribute on record component

Remi Forax forax at
Sat Nov 9 13:48:21 UTC 2019

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.



More information about the amber-spec-experts mailing list