RFR: 8373243 : EnumSet.spliterator() should specify and document its characteristics

[Viktor Klang]

On Mon, 8 Dec 2025 11:30:21 GMT, Viktor Klang <vklang at openjdk.org> wrote:

> Addresses https://bugs.openjdk.org/browse/JDK-8373243 by copying and adapting the specification from https://github.com/openjdk/jdk/blob/master/src/java.base/share/classes/java/util/LinkedHashSet.java#L186-L204
> 
> Since EnumSet is sealed and only permits two final classes, the verbiage around "Implementations should document the reporting of additional characteristic values." may be considered to get removed from this PR. Kept, for now, for symmetry reasons.

Tagging @jddarcy here since this issue was raised by him.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/28696#issuecomment-3626445267