Integrated: 8306785: fix deficient spliterators for Sequenced Collections

Wed Jul 12 23:49:08 UTC 2023

On Wed, 12 Jul 2023 17:25:03 GMT, Stuart Marks <smarks at openjdk.org> wrote:

> Change some reverse-ordered spliterators to use `Spliterators.spliterator(Collection, ORDERED)` instead of `Spliterators.spliteratorUnknownSize()`. This gives SIZED and ORDERED spliterators. More optimizations will be done later. I'm intending to backport this to JDK 21 so I want this to be minimal.
> 
> I've also included some adjustments to spliterator implementation comments to clear up a few points of confusion. (No spec changes.)

This pull request has now been integrated.

Changeset: 743e8b8e
Author:    Stuart Marks <smarks at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/743e8b8e0a9fe032a0dd652a4fef1f761af66595
Stats:     30 lines in 6 files changed: 18 ins; 4 del; 8 mod

8306785: fix deficient spliterators for Sequenced Collections

Reviewed-by: psandoz

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

PR: https://git.openjdk.org/jdk/pull/14854