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

[Joe Darcy]

On Thu, 11 Dec 2025 04:45:37 GMT, Patrick Strawderman <duke at openjdk.org> wrote:

> > > PS Is there anything analagous that should be added to any of the methods on EnumMap about the properties of the returned collections?
> > 
> > 
> > In addition to documentation, I would think the splitIterator() of EnumMap::keySet and or EnumMap::entrySet would need to be overridden too so characteristics of Collections.newSetFromMap match with this patch.
> 
> I actually already cut a [ticket](https://bugs.openjdk.org/browse/JDK-8373288) for this, and was planning to open a PR. I hadn't thought of Collections.newSetFromMap but I think the spliterator characteristics should be fixed regardless.

Thanks; yes, I added a link between the two bugs in JBS. I think it is fine to either two separate PRs for the two issues or to combine them into one as long as both changes get into the same release.

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

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