-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P3
-
Affects Version/s: 15
-
Component/s: specification
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.