[records] Spec for next version of Record Classes JEP

[Gavin Bierman]

> On 29 Sep 2020, at 16:50, Tagir Valeev <amaembo at gmail.com> wrote:
> 
> The only nit-pick is that it says "if a canonical constructor
> is declared explicitly". However, from 8.10.4 one may derive that
> compact constructor is a canonical constructor, so if compact
> canonical constructor is explicitly declared then, per 8.10.5 it looks
> like annotation should be discarded but it's not. Probably it's better
> to write in 8.10.5 something like "if a non-compact canonical
> constructor is declared explicitly". Well, probably I'm seeing things.

No, you’re right. A compact constructor gets its formal parameter list from the record component list, and so you get any annotations that are applicable. I have clarified this in 8.10.4. 

If we keep 8.10.5, then it needs wording much as you suggest; but I see that Brian is arguing that we shouldn’t treat non-propagating annotations as errors. 

Gavin