If you want to learn more around this topic and the (not) expected behaviors, I highly encourage you to try to scan this discussion here: AsyncSequences and cooperative task cancellation
One of the conclusions from it that I had, was that the question I asked in this thread presents a valid and expected pattern for early exiting the consuming stream / sequence.