-
Bug
-
Resolution: Fixed
-
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.