A draft language spec for sealed types is available at: http://cr.openjdk.java.net/~gbierman/jep360/jep360-20190830/specs/sealed-types-jls.html <http://cr.openjdk.java.net/~gbierman/jep360/jep360-20190830/specs/sealed-types-jls.html>
This spec doesn’t yet contain details on binary compatibility (Chapter 13) - to appear in the next draft. All comments welcomed! Thanks, Gavin
