-
Bug
-
Resolution: Fixed
-
P4
-
22, 23
8.1.4. Superclasses and Subclasses
The direct superclass type of a class whose declaration lacks an extends clause is as follows:
- The class Object has no direct superclass type.
- For a class other than Object with a normal class declaration, the direct superclass type is Object.
- For an enum class E, the direct superclass type is Enum<E>.
- For an anonymous class, the direct superclass type is defined in §15.9.5.
8.9. Enum Classes:
The direct superclass type of an enum class E is Enum<E> (§8.1.4).
8.10. Record Classes
The direct superclass type of a record class is Record (§8.1.4).
----------------------------
For consistency, I would expect either not mentioning the direct superclass type of an enum class or also mentioning that of a record class in 8.1.4.
The direct superclass type of a class whose declaration lacks an extends clause is as follows:
- The class Object has no direct superclass type.
- For a class other than Object with a normal class declaration, the direct superclass type is Object.
- For an enum class E, the direct superclass type is Enum<E>.
- For an anonymous class, the direct superclass type is defined in §15.9.5.
8.9. Enum Classes:
The direct superclass type of an enum class E is Enum<E> (§8.1.4).
8.10. Record Classes
The direct superclass type of a record class is Record (§8.1.4).
----------------------------
For consistency, I would expect either not mentioning the direct superclass type of an enum class or also mentioning that of a record class in 8.1.4.