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
