[jdk21] Integrated: 8306785: fix deficient spliterators for Sequenced Collections

On Thu, 13 Jul 2023 05:45:37 GMT, Stuart Marks wrote: > Hi all, > > This pull request contains a backport of commit > [743e8b8e](https://github.com/openjdk/jdk/commit/743e8b8e0a9fe032a0dd652a4fef1f761af66595) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit bei

Integrated: 8306785: fix deficient spliterators for Sequenced Collections

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