> On 31 Oct 2019, at 20:10, Chris Hegarty <chris.hegarty at oracle.com> wrote: > >> ... > > > In terms of javac restrictions in the record declaration… To be clear, javac restrictions *of methods and fields*, in the record declaration… > - 1 and 2 much be allowable, no issue > - a, b, and c, should be lint warnings. > > -Chris.