[sealed-types] Draft Spec for JEP 409 Sealed Types (Final)

[Brian Goetz]

Very nice how the restrictions on primitive narrowing shook out.

In 8.1.1.2, you mention that JEP 395 proposes records, but records are 
now a permanent feature.


On 4/20/2021 5:00 AM, Gavin Bierman wrote:
> Dear experts:
>
> Draft of the specs for JEP 409 (Sealed Types) are available at:
>
> http://cr.openjdk.java.net/~gbierman/jep409/latest/
>
> Comments welcome!
>
> Thanks,
> Gavin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20210423/34881b69/attachment.htm>