On Tue, 7 May 2024 14:58:00 GMT, Viktor Klang wrote:
> Removes SORTED if not also ORDERED for escape-hatch `Stream::spliterator()`
Marked as reviewed by alanb (Reviewer).
-
PR Review: https://git.openjdk.org/jdk/pull/19123#pullrequestreview-2043916265
On Tue, 7 May 2024 14:58:00 GMT, Viktor Klang wrote:
> Removes SORTED if not also ORDERED for escape-hatch `Stream::spliterator()`
Marked as reviewed by psandoz (Reviewer).
-
PR Review: https://git.openjdk.org/jdk/pull/19123#pullrequestreview-2043897612
On Tue, 7 May 2024 14:58:00 GMT, Viktor Klang wrote:
> Removes SORTED if not also ORDERED for escape-hatch `Stream::spliterator()`
Tagging @PaulSandoz for review :)
-
PR Comment: https://git.openjdk.org/jdk/pull/19123#issuecomment-2099048586
Removes SORTED if not also ORDERED for escape-hatch `Stream::spliterator()`
-
Commit messages:
- Make sure that escape-hatch spliterator()s don't report SORTED if they
aren't also ORDERED
Changes: https://git.openjdk.org/jdk/pull/19123/files
Webrev:
