Draft JLS spec for records

[Maurizio Cimadamore]

On 03/09/2019 22:00, Alex Buckley wrote:
> The private fields aren't synthetic (generated by a compiler as a 
> private implementation detail), they're mandated ("implicitly 
> declared"). 8.10.3 says that the implicitly declared fields have the 
> annos from the components, great, done. 

You are right - I missed the crucial sentences in 8.10.3

Maurizio