On Wed, 12 Jul 2023 17:25:03 GMT, Stuart Marks <sma...@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 <sma...@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