[sealed] Draft Language Spec available

[Gavin Bierman]

The next draft language spec for JEP 360 (Sealed Types) is available at:

http://cr.openjdk.java.net/~gbierman/jep360/latest/

This version reflects the changes to the type system I mentioned [1], along with a number of other changes. We’d appreciate further comments on this in particular (along with anything else). 

Thanks,
Gavin

[1] https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-February/002018.html