- 
    Bug 
- 
    Resolution: Fixed
- 
     P3 P3
- 
    15
                    In the Sealed Classes preview spec:
http://cr.openjdk.java.net/~gbierman/jep360/jep360-20200513/specs/sealed-classes-jls.html#jls-13.4.2
Sections 13.4.2.1 "Sealed Classes" and 13.4.2.2 "Non-sealed Classes" specify assertions about classes. Assertions for sealed and non-sealed interfaces need to be added.
http://cr.openjdk.java.net/~gbierman/jep360/jep360-20200513/specs/sealed-classes-jls.html#jls-13.4.2
Sections 13.4.2.1 "Sealed Classes" and 13.4.2.2 "Non-sealed Classes" specify assertions about classes. Assertions for sealed and non-sealed interfaces need to be added.