Record component type can be an inner class of a record

John Rose john.r.rose at
Tue Apr 28 19:53:02 UTC 2020

On Apr 28, 2020, at 9:53 AM, Dan Smith <daniel.smith at> wrote:
> Unless AnotherADeclarer also declares a class named pa. :-)
> There is no 100% reliable desugaring to Java syntax.

Thank you; I stand corrected!  I needed a quick review of JLS 6.5.2.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the amber-spec-experts mailing list