On Tue, 7 May 2024 14:58:00 GMT, Viktor Klang <vkl...@openjdk.org> wrote:
> Removes SORTED if not also ORDERED for escape-hatch `Stream::spliterator()` This pull request has now been integrated. Changeset: f12ed061 Author: Viktor Klang <vkl...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/f12ed061ae3fa9d5620a7c6c7ea441f9f33bb745 Stats: 28 lines in 2 files changed: 26 ins; 0 del; 2 mod 8048691: Spliterator.SORTED characteristics gets cleared for BaseStream.spliterator Reviewed-by: psandoz, alanb ------------- PR: https://git.openjdk.org/jdk/pull/19123
