Record component type can be an inner class of a record

[John Rose]

On Apr 28, 2020, at 9:53 AM, Dan Smith <daniel.smith at oracle.com> 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.