Re: RFR-8148838: Stream.flatMap(...).spliterator() cannot properly split after tryAdvance()