Sealed classes -- Feedback on compiler message

[Jonathan Gibbons]

On 6/8/20 11:03 AM, Alex Buckley wrote:
>
> Ideally, the relevant JLS text would live as comments in 
> compiler.properties?

It was always an intent of the design of the current diagnostic support 
that the resource files could contain /properties/ (not comments) that 
cite the relevant JLS sections, and that when available, these 
properties could be used in diagnostic messages.

Maybe this work could be crowd-sourced somehow...

-- Jon